CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1108 (99.2%) on 07-jun-2018 [ "arg2 with two equal arg1" "arg2 is equal to two right arg1" "arg2 equal to two right arg1" "arg2 with three right arg1" "arg2 with two congruent arg1" "arg2 are equal to two right arg1" "arg2 whose sides and arg1" ] using (angles, triangles)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg2 when given two arg1" "arg2 equal to two right arg1" "arg2 is two right arg1" "arg2 is less than two right arg1" "arg2 is equal to two right arg1" ] using (angles, angle)
CPL @1109 (96.9%) on 12-jun-2018 [ "arg2 is less than two right arg1" "arg2 equals two right arg1" "arg2 is two right arg1" "arg2 equal to two right arg1" "arg2 is equal to two right arg1" ] using (angles, sum)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 is equal to two right arg1" "arg2 equal two right arg1" "arg2 are equal to two right arg1" "arg2 equals two right arg1" ] using (angles, plane_triangle)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
NELL has only weak evidence for items listed in grey
CPL @1112 (96.9%) on 20-jul-2018 [ "arg1 opposite the right arg2" "arg1 has two equal arg2" "arg1 and their included arg2" "arg1 and the included arg2" "arg1 with three equal arg2" ] using (sides, angles)
CPL @1109 (99.6%) on 12-jun-2018 [ "arg2 is equal to two right arg1" "arg2 equal to two right arg1" "arg2 sum to two right arg1" "arg2 equals two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 is two right arg1" "arg2 equal two right arg1" ] using (angles, angles)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg2 when given two arg1" "arg2 equal to two right arg1" "arg2 is two right arg1" "arg2 is less than two right arg1" "arg2 is equal to two right arg1" ] using (angles, angle)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1109 (99.6%) on 12-jun-2018 [ "arg2 is equal to two right arg1" "arg2 equal to two right arg1" "arg2 sum to two right arg1" "arg2 equals two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 is two right arg1" "arg2 equal two right arg1" ] using (angles, angles)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (96.9%) on 12-jun-2018 [ "arg2 is less than two right arg1" "arg2 equals two right arg1" "arg2 is two right arg1" "arg2 equal to two right arg1" "arg2 is equal to two right arg1" ] using (angles, sum)
CPL @1109 (99.6%) on 12-jun-2018 [ "arg2 is equal to two right arg1" "arg2 equal to two right arg1" "arg2 sum to two right arg1" "arg2 equals two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 is two right arg1" "arg2 equal two right arg1" ] using (angles, angles)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg2 when given two arg1" "arg2 equal to two right arg1" "arg2 is two right arg1" "arg2 is less than two right arg1" "arg2 is equal to two right arg1" ] using (angles, angle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg2 when given two arg1" "arg2 equal to two right arg1" "arg2 is two right arg1" "arg2 is less than two right arg1" "arg2 is equal to two right arg1" ] using (angles, angle)
CPL @1109 (96.9%) on 12-jun-2018 [ "arg2 is less than two right arg1" "arg2 equals two right arg1" "arg2 is two right arg1" "arg2 equal to two right arg1" "arg2 is equal to two right arg1" ] using (angles, sum)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1109 (96.9%) on 12-jun-2018 [ "arg2 is less than two right arg1" "arg2 equals two right arg1" "arg2 is two right arg1" "arg2 equal to two right arg1" "arg2 is equal to two right arg1" ] using (angles, sum)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1109 (99.6%) on 12-jun-2018 [ "arg2 is equal to two right arg1" "arg2 equal to two right arg1" "arg2 sum to two right arg1" "arg2 equals two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 is two right arg1" "arg2 equal two right arg1" ] using (angles, angles)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1109 (99.2%) on 12-jun-2018 [ "arg2 is two right arg1" "arg2 equal to two right arg1" "arg2 equals two right arg1" "arg2 are equal to two right arg1" "arg2 is equal to two right arg1" "arg2 equal two right arg1" "arg2 sum to two right arg1" ] using (angles, three_angles)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg2 when given two arg1" "arg2 equal to two right arg1" "arg2 is two right arg1" "arg2 is less than two right arg1" "arg2 is equal to two right arg1" ] using (angles, angle)
CPL @1109 (99.6%) on 12-jun-2018 [ "arg2 is equal to two right arg1" "arg2 equal to two right arg1" "arg2 sum to two right arg1" "arg2 equals two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 is two right arg1" "arg2 equal two right arg1" ] using (angles, angles)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (96.9%) on 12-jun-2018 [ "arg2 is less than two right arg1" "arg2 equals two right arg1" "arg2 is two right arg1" "arg2 equal to two right arg1" "arg2 is equal to two right arg1" ] using (angles, sum)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg2 are congruent to the corresponding arg1" "arg2 equal to two right arg1" "arg2 are equal to two right arg1" "arg2 is less than two right arg1" ] using (angles, side)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg2 when given two arg1" "arg2 equal to two right arg1" "arg2 is two right arg1" "arg2 is less than two right arg1" "arg2 is equal to two right arg1" ] using (angles, angle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are equal to two right arg1" "arg2 is less than two right arg1" "arg2 with D right arg1" ] using (angles, line)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)