CPL @1107 (56.8%) on 24-may-2018 [ "square is actually _" "_ be h" "_ are congruent" "Pythagorean theorem for _" "right triangle is _" "right triangle is equal to _" "rectangle is _" "side by _" "sides equals _" "_ is called the hypotenuse" "_ using the Pythagorean theorem" ] using hypotenuse
SEAL @175 (57.9%) on 09-dec-2010 [ 12 ] using hypotenuse
CPL @1112 (100.0%) on 20-jul-2018 [ "arg2 of a right angle arg1" "arg2 of an isosceles arg1" "arg2 of an isoceles arg1" "arg2 of another right arg1" "arg2 of an isosceles right arg1" "arg2 of one right arg1" "arg2 in a right angled arg1" "arg2 of a Pythagorean arg1" "arg2 of the isosceles arg1" "arg2 of a right arg1" "arg2 of the Hayekian arg1" "arg2 of a right angled arg1" "arg2 of an equilateral arg1" "arg2 of the right angled arg1" ] using (triangle, hypotenuse)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
NELL has only weak evidence for items listed in grey
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are congruent to arg1" "arg2 are congruent to the corresponding arg1" "arg2 equals the square of arg1" ] using (hypotenuse, right_triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)