「この学芸員は強制出来ない」ということは本当である
fact1: 「もし仮にリーゼントが浸り切らないならそれは強制出来ない」ということは確かである fact2: 血小板は中間コードでないかまたは強制出来ないかもしくは両方だ fact3: 「強制出来ない」ものはある fact4: もし仮に何らかのものは中間コードでないか強制出来ないかまたは両方ならそれは強制出来ない fact5: 「考え辛いということはないが嘔吐する」ものはある fact6: 何らかのものはリーゼントで浸り切る fact7: あるものが浸り切らないがそれが手早いとするとこの学芸員はベンザリンだ fact8: 「「リーゼントでないけど浸り切る」ということは確かである」ものはある fact9: 仮に「「リーゼントでないが浸り切る」ということは確かな」物があるとすればこの学芸員は強制出来る fact10: もしも何らかのものが強制出来ないとしたら浸り切るしおまけにそれはリーゼントだ
fact8 & fact9 -> hypothesis;
fact8 & fact9 -> hypothesis;
この学芸員は強制出来ない
fact11 -> int1: もしこの学芸員がリーゼントだけど浸り切らないとしたらそれは強制出来ない;
$facts$ = fact1: 「もし仮にリーゼントが浸り切らないならそれは強制出来ない」ということは確かである fact2: 血小板は中間コードでないかまたは強制出来ないかもしくは両方だ fact3: 「強制出来ない」ものはある fact4: もし仮に何らかのものは中間コードでないか強制出来ないかまたは両方ならそれは強制出来ない fact5: 「考え辛いということはないが嘔吐する」ものはある fact6: 何らかのものはリーゼントで浸り切る fact7: あるものが浸り切らないがそれが手早いとするとこの学芸員はベンザリンだ fact8: 「「リーゼントでないけど浸り切る」ということは確かである」ものはある fact9: 仮に「「リーゼントでないが浸り切る」ということは確かな」物があるとすればこの学芸員は強制出来る fact10: もしも何らかのものが強制出来ないとしたら浸り切るしおまけにそれはリーゼントだ ; $hypothesis$ = 「この学芸員は強制出来ない」ということは本当である ; $proof$ = 
fact8 & fact9 -> hypothesis; __DISPROVED__
事実1: 「もし仮にリーゼントが浸り切らないならそれは強制出来ない」ということは確かである
事実2: 血小板は中間コードでないかまたは強制出来ないかもしくは両方だ
事実3: 「強制出来ない」ものはある
事実4: もし仮に何らかのものは中間コードでないか強制出来ないかまたは両方ならそれは強制出来ない
事実5: 「考え辛いということはないが嘔吐する」ものはある
事実6: 何らかのものはリーゼントで浸り切る
事実7: あるものが浸り切らないがそれが手早いとするとこの学芸員はベンザリンだ
事実8: 「「リーゼントでないけど浸り切る」ということは確かである」ものはある
事実9: 仮に「「リーゼントでないが浸り切る」ということは確かな」物があるとすればこの学芸員は強制出来る
事実10: もしも何らかのものが強制出来ないとしたら浸り切るしおまけにそれはリーゼントだ

仮説: 「この学芸員は強制出来ない」ということは本当である
1. 事実8と事実9から、仮説が否定される

よって、仮説が否定されました。