「この実行例は長期安定でない一方でそれは手荒い」ということは誤っている
fact1: もしもこの実行例は学校等であるとすればそれは長期安定でない一方で手荒い fact2: この実行例は学校等だ
$facts$ = fact1: もしもこの実行例は学校等であるとすればそれは長期安定でない一方で手荒い fact2: この実行例は学校等だ ; $hypothesis$ = 「この実行例は長期安定でない一方でそれは手荒い」ということは誤っている ; $proof$ = 
事実1: もしもこの実行例は学校等であるとすればそれは長期安定でない一方で手荒い
事実2: この実行例は学校等だ

仮説: 「この実行例は長期安定でない一方でそれは手荒い」ということは誤っている