「その総議会は厳めしくらないかまたは白っぽくないかあるいは両方ともだ」ということは正しいということはない
fact1: あの第四艦隊はさもしくないか合計金額だ fact2: 仮に何らかのものがさもしくない一方で一事例ならばその総議会は厳めしかない fact3: 「一事例である」ものはある fact4: 「さもしくない」ものはある fact5: そのビジネスニーズは決め難くないかあるいは一事例であるか両方である fact6: あの教育ママは厳めしいかもしくは灼熱しないかもしくはどちらもだ fact7: その解釈論は唯識だけれどそれは回路図でない fact8: 仮に「なにがしかの物は受託者等であるし加えて静置する」ということは本当だということはないならそれは受託者等でない fact9: その総議会は厳めしいかもしくはそれは白っぽくない fact10: 仮にとあるものが受託者等であるということはないならさもしくておまけにそれは一事例だ fact11: 「「白っぽいということはない」ということは真実な」物はある fact12: 仮に何らかの物はさもしいとしたら「それは厳めしくらないかそれは白っぽくないかどちらもである」ということは嘘である fact13: 「厳めしい」物はある fact14: 「さもしくて一事例な」物はある fact15: もし仮に「その浄心は受託者等である」ということは真実であるならばあの総議会は一事例でなくて加えてそれはさもしくない fact16: その浄心は思しいということはないなら「「その総議会は受託者等だしその上静置する」ということは偽だ」ということは正しい fact17: その総議会は厳めしいということはないか白っぽいかもしくは両方ともである fact18: 「さもしくなくて一事例である」物はある fact19: 「白っぽい」物はある fact20: 不味いということはないものが空位であるならばその御鏡は酷くない
fact18 & fact2 -> int1: その総議会は厳めしかない; int1 -> hypothesis;
「その総議会は厳めしくらないかもしくはそれは白っぽくないか両方ともだ」ということは誤りである
fact24 -> int2: 仮にその総議会はさもしいならば「それは厳めしいということはないか白っぽくないかあるいは両方である」ということは本当でない; fact21 -> int3: もし仮にその総議会は受託者等でないとしたらそれはさもしいしその上一事例である; fact22 -> int4: もし仮に「その総議会は受託者等であるし加えて静置する」ということは事実と異なるとすれば受託者等でない; fact23 -> int5: 「唯識だし回路図でない」物はある;
$facts$ = fact1: あの第四艦隊はさもしくないか合計金額だ fact2: 仮に何らかのものがさもしくない一方で一事例ならばその総議会は厳めしかない fact3: 「一事例である」ものはある fact4: 「さもしくない」ものはある fact5: そのビジネスニーズは決め難くないかあるいは一事例であるか両方である fact6: あの教育ママは厳めしいかもしくは灼熱しないかもしくはどちらもだ fact7: その解釈論は唯識だけれどそれは回路図でない fact8: 仮に「なにがしかの物は受託者等であるし加えて静置する」ということは本当だということはないならそれは受託者等でない fact9: その総議会は厳めしいかもしくはそれは白っぽくない fact10: 仮にとあるものが受託者等であるということはないならさもしくておまけにそれは一事例だ fact11: 「「白っぽいということはない」ということは真実な」物はある fact12: 仮に何らかの物はさもしいとしたら「それは厳めしくらないかそれは白っぽくないかどちらもである」ということは嘘である fact13: 「厳めしい」物はある fact14: 「さもしくて一事例な」物はある fact15: もし仮に「その浄心は受託者等である」ということは真実であるならばあの総議会は一事例でなくて加えてそれはさもしくない fact16: その浄心は思しいということはないなら「「その総議会は受託者等だしその上静置する」ということは偽だ」ということは正しい fact17: その総議会は厳めしいということはないか白っぽいかもしくは両方ともである fact18: 「さもしくなくて一事例である」物はある fact19: 「白っぽい」物はある fact20: 不味いということはないものが空位であるならばその御鏡は酷くない ; $hypothesis$ = 「その総議会は厳めしくらないかまたは白っぽくないかあるいは両方ともだ」ということは正しいということはない ; $proof$ = 
fact18 & fact2 -> int1: その総議会は厳めしかない; int1 -> hypothesis; __DISPROVED__
事実1: あの第四艦隊はさもしくないか合計金額だ
事実2: 仮に何らかのものがさもしくない一方で一事例ならばその総議会は厳めしかない
事実3: 「一事例である」ものはある
事実4: 「さもしくない」ものはある
事実5: そのビジネスニーズは決め難くないかあるいは一事例であるか両方である
事実6: あの教育ママは厳めしいかもしくは灼熱しないかもしくはどちらもだ
事実7: その解釈論は唯識だけれどそれは回路図でない
事実8: 仮に「なにがしかの物は受託者等であるし加えて静置する」ということは本当だということはないならそれは受託者等でない
事実9: その総議会は厳めしいかもしくはそれは白っぽくない
事実10: 仮にとあるものが受託者等であるということはないならさもしくておまけにそれは一事例だ
事実11: 「「白っぽいということはない」ということは真実な」物はある
事実12: 仮に何らかの物はさもしいとしたら「それは厳めしくらないかそれは白っぽくないかどちらもである」ということは嘘である
事実13: 「厳めしい」物はある
事実14: 「さもしくて一事例な」物はある
事実15: もし仮に「その浄心は受託者等である」ということは真実であるならばあの総議会は一事例でなくて加えてそれはさもしくない
事実16: その浄心は思しいということはないなら「「その総議会は受託者等だしその上静置する」ということは偽だ」ということは正しい
事実17: その総議会は厳めしいということはないか白っぽいかもしくは両方ともである
事実18: 「さもしくなくて一事例である」物はある
事実19: 「白っぽい」物はある
事実20: 不味いということはないものが空位であるならばその御鏡は酷くない

仮説: 「その総議会は厳めしくらないかまたは白っぽくないかあるいは両方ともだ」ということは正しいということはない
1. 事実18と事実2から、推論1: "その総議会は厳めしかない"が導かれる
2. 推論1から、仮説が否定される

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