「そのセンターアセスメントはトロッコだということはないが聞き咎める」ということは誤りであるならハート形でない
fact1: もしも「あるものはトロッコであるということはないけど聞き咎める」ということは成り立つということはないとするとそれはハート形だ fact2: 「とある物は取り掛かり易くないがしかしそれは調節し易い」ということは間違いであるとしたらそれはうら若しない fact3: そのセンターアセスメントはトロッコだということはないが聞き咎めるとしたらハート形でない fact4: もしそのセンターアセスメントがトロッコだとすればハート形でない fact5: 「そのセンターアセスメントは変化し易くないがしかしトロッコである」ということは成り立たないとしたらそれは水利権でない fact6: もし「そのセンターアセスメントはトロッコでないがそれは聞き咎める」ということは誤りであるならハート形だ fact7: もし「なにかはトロッコだということはないが聞き咎める」ということは誤っているならそれはハート形でない fact8: トロッコはハート形でない
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: もしも「あるものはトロッコであるということはないけど聞き咎める」ということは成り立つということはないとするとそれはハート形だ fact2: 「とある物は取り掛かり易くないがしかしそれは調節し易い」ということは間違いであるとしたらそれはうら若しない fact3: そのセンターアセスメントはトロッコだということはないが聞き咎めるとしたらハート形でない fact4: もしそのセンターアセスメントがトロッコだとすればハート形でない fact5: 「そのセンターアセスメントは変化し易くないがしかしトロッコである」ということは成り立たないとしたらそれは水利権でない fact6: もし「そのセンターアセスメントはトロッコでないがそれは聞き咎める」ということは誤りであるならハート形だ fact7: もし「なにかはトロッコだということはないが聞き咎める」ということは誤っているならそれはハート形でない fact8: トロッコはハート形でない ; $hypothesis$ = 「そのセンターアセスメントはトロッコだということはないが聞き咎める」ということは誤りであるならハート形でない ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしも「あるものはトロッコであるということはないけど聞き咎める」ということは成り立つということはないとするとそれはハート形だ
事実2: 「とある物は取り掛かり易くないがしかしそれは調節し易い」ということは間違いであるとしたらそれはうら若しない
事実3: そのセンターアセスメントはトロッコだということはないが聞き咎めるとしたらハート形でない
事実4: もしそのセンターアセスメントがトロッコだとすればハート形でない
事実5: 「そのセンターアセスメントは変化し易くないがしかしトロッコである」ということは成り立たないとしたらそれは水利権でない
事実6: もし「そのセンターアセスメントはトロッコでないがそれは聞き咎める」ということは誤りであるならハート形だ
事実7: もし「なにかはトロッコだということはないが聞き咎める」ということは誤っているならそれはハート形でない
事実8: トロッコはハート形でない

仮説: 「そのセンターアセスメントはトロッコだということはないが聞き咎める」ということは誤りであるならハート形でない
1. 事実7から、仮説が導かれる

よって、仮説が証明されました。