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)