あの裁判要求は弁別しない
fact1: 仮にその命取りが原動機付き自転車ならばあの参考文献は列しない fact2: もし仮にあの参考文献が主教でないし加えて軋らないとするとあの裁判要求は理知である fact3: 「そのエステティックサロンはぎすぎすするということはない」ということは成り立つ fact4: もしもあの裁判要求が軋らなくてそれが弁別しないならばあの参考文献は理知である fact5: 何らかのものがぎすぎすするということはないならばそれは口煩くないしそれはトロンチウムでない fact6: その資産税課情報は軋らない fact7: あの参考文献は仕事出来ない fact8: 理知は弁別する fact9: もし仮に「ある物は理知であるし期待す」ということは間違いであるならば「それは弁別しない」ということは本当だ fact10: あの参考文献は想像し難い fact11: もしあの参考文献は列するということはないならば「「あの裁判要求が理知だしさらにそれは期待す」ということは成り立たない」ということは本当である fact12: あの参考文献は主教でないし更に軋らない fact13: もしも「あの参考文献は主教でないが軋る」ということは正しいとするとあの裁判要求は理知だ fact14: あの参考文献は軋らない fact15: あの裁判要求は軋る
fact2 & fact12 -> int1: 「あの裁判要求は理知だ」ということは正しい; fact8 -> int2: もし仮にあの裁判要求は理知であるならばそれは弁別する; int1 & int2 -> hypothesis;
「あの裁判要求は弁別しない」ということは嘘でない
fact20 -> int3: 「あの裁判要求は理知であるし期待す」ということは間違いならば弁別するということはない; fact16 -> int4: 仮にそのエステティックサロンはぎすぎすしないなら口煩くなくてトロンチウムでない; int4 & fact19 -> int5: そのエステティックサロンは口煩くないししかもトロンチウムでない; int5 -> int6: そのエステティックサロンはトロンチウムであるということはない; int6 -> int7: 「トロンチウムでない」ものはある;
$facts$ = fact1: 仮にその命取りが原動機付き自転車ならばあの参考文献は列しない fact2: もし仮にあの参考文献が主教でないし加えて軋らないとするとあの裁判要求は理知である fact3: 「そのエステティックサロンはぎすぎすするということはない」ということは成り立つ fact4: もしもあの裁判要求が軋らなくてそれが弁別しないならばあの参考文献は理知である fact5: 何らかのものがぎすぎすするということはないならばそれは口煩くないしそれはトロンチウムでない fact6: その資産税課情報は軋らない fact7: あの参考文献は仕事出来ない fact8: 理知は弁別する fact9: もし仮に「ある物は理知であるし期待す」ということは間違いであるならば「それは弁別しない」ということは本当だ fact10: あの参考文献は想像し難い fact11: もしあの参考文献は列するということはないならば「「あの裁判要求が理知だしさらにそれは期待す」ということは成り立たない」ということは本当である fact12: あの参考文献は主教でないし更に軋らない fact13: もしも「あの参考文献は主教でないが軋る」ということは正しいとするとあの裁判要求は理知だ fact14: あの参考文献は軋らない fact15: あの裁判要求は軋る ; $hypothesis$ = あの裁判要求は弁別しない ; $proof$ = 
fact2 & fact12 -> int1: 「あの裁判要求は理知だ」ということは正しい; fact8 -> int2: もし仮にあの裁判要求は理知であるならばそれは弁別する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にその命取りが原動機付き自転車ならばあの参考文献は列しない
事実2: もし仮にあの参考文献が主教でないし加えて軋らないとするとあの裁判要求は理知である
事実3: 「そのエステティックサロンはぎすぎすするということはない」ということは成り立つ
事実4: もしもあの裁判要求が軋らなくてそれが弁別しないならばあの参考文献は理知である
事実5: 何らかのものがぎすぎすするということはないならばそれは口煩くないしそれはトロンチウムでない
事実6: その資産税課情報は軋らない
事実7: あの参考文献は仕事出来ない
事実8: 理知は弁別する
事実9: もし仮に「ある物は理知であるし期待す」ということは間違いであるならば「それは弁別しない」ということは本当だ
事実10: あの参考文献は想像し難い
事実11: もしあの参考文献は列するということはないならば「「あの裁判要求が理知だしさらにそれは期待す」ということは成り立たない」ということは本当である
事実12: あの参考文献は主教でないし更に軋らない
事実13: もしも「あの参考文献は主教でないが軋る」ということは正しいとするとあの裁判要求は理知だ
事実14: あの参考文献は軋らない
事実15: あの裁判要求は軋る

仮説: あの裁判要求は弁別しない
1. 事実2と事実12から、推論1: "「あの裁判要求は理知だ」ということは正しい"が導かれる
2. 事実8から、推論2: "もし仮にあの裁判要求は理知であるならばそれは弁別する"が導かれる
3. 推論1と推論2から、仮説が否定される

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