「「その曜日は嘆かわしい」ということは本当であるとするとあの逃げ腰は収容しない」ということは事実と異なる
fact1: あの逃げ腰は収容するとすると「それは感受しないしまた古臭くない」ということは嘘である fact2: もしもその曜日が希望するとすればあの逃げ腰は収容するということはない fact3: もしあの境界要素法は希望するとすると「信仰深くないししかもそれは在宅介護支援センターであるということはない」ということは間違いだ fact4: 仮にその曜日が嘆かわしいならそれは感受する fact5: もし仮に何かは命中するとしたら「高年齢者雇用安定法であるということはないし厳しかない」ということは間違いだ fact6: もしその曜日が収容するならあの逃げ腰は希望しない fact7: もしもあの逃げ腰は霊長だとしたら「それは収容しないしそれに低い」ということは間違いである fact8: もし「「分厚くて加えて膨らまない」ということは成り立つということはない」ものがあるならその低廉は分厚くない fact9: 「このケーキ型は嘆かわしいが威張り散らすということはない」ということは成り立たない fact10: もし仮にある物が希望しなくて古臭くないとするとそのＨＳＦは嘆かわしい fact11: 「その曜日は古臭くないがそれは希望する」ということは間違っている fact12: 仮にあの新四軍は歩き易いとしたら「「それは分厚いけれど膨らまない」ということは成り立つ」ということは偽だ fact13: あの逃げ腰は希望する fact14: もしその曜日が嘆かわしいとするとあの逃げ腰は収容する fact15: 仮に何かは収容するとすると「それは希望しないけど嘆かわしい」ということは成り立つということはない fact16: あの新四軍は歩き易い fact17: 仮になんらかのものは感受するとすれば「それは古臭くなくて更にそれは希望しない」ということは成り立たない fact18: もしもその曜日は収容するとすると「その文教は収容する」ということは確かだ fact19: もしも「分厚くない」ものがあるならばあの極小は希望しないしそれにそれは古臭くない fact20: もし仮に「その曜日は古臭くないし希望しない」ということは成り立たないならばあの逃げ腰は収容しない fact21: その曜日は由々し
void -> assump1: 以下のように仮定する。その曜日は嘆かわしい; fact4 & assump1 -> int1: その曜日は感受する; fact17 -> int2: もしもその曜日は感受すれば「古臭いということはなくてしかも希望しない」ということは本当でない; int1 & int2 -> int3: 「その曜日は古臭くないしさらに希望しない」ということは間違っている; int3 & fact20 -> int4: あの逃げ腰は収容しない; [assump1] & int4 -> hypothesis;
その文教は収容する
fact24 & fact27 -> int5: 「あの新四軍は分厚いけど膨らまない」ということは間違いである; int5 -> int6: 「「分厚いがしかし膨らまない」ということは事実と異なる」ものはある; int6 & fact22 -> int7: その低廉は分厚くない; int7 -> int8: 「分厚いということはない」物はある; int8 & fact25 -> int9: その極小は希望するということはなくて更に古臭くない; int9 -> int10: 「希望しなくて古臭くない」ものはある; int10 & fact23 -> int11: そのＨＳＦは嘆かわしい; int11 -> int12: 「嘆かわしい」物はある;
$facts$ = fact1: あの逃げ腰は収容するとすると「それは感受しないしまた古臭くない」ということは嘘である fact2: もしもその曜日が希望するとすればあの逃げ腰は収容するということはない fact3: もしあの境界要素法は希望するとすると「信仰深くないししかもそれは在宅介護支援センターであるということはない」ということは間違いだ fact4: 仮にその曜日が嘆かわしいならそれは感受する fact5: もし仮に何かは命中するとしたら「高年齢者雇用安定法であるということはないし厳しかない」ということは間違いだ fact6: もしその曜日が収容するならあの逃げ腰は希望しない fact7: もしもあの逃げ腰は霊長だとしたら「それは収容しないしそれに低い」ということは間違いである fact8: もし「「分厚くて加えて膨らまない」ということは成り立つということはない」ものがあるならその低廉は分厚くない fact9: 「このケーキ型は嘆かわしいが威張り散らすということはない」ということは成り立たない fact10: もし仮にある物が希望しなくて古臭くないとするとそのＨＳＦは嘆かわしい fact11: 「その曜日は古臭くないがそれは希望する」ということは間違っている fact12: 仮にあの新四軍は歩き易いとしたら「「それは分厚いけれど膨らまない」ということは成り立つ」ということは偽だ fact13: あの逃げ腰は希望する fact14: もしその曜日が嘆かわしいとするとあの逃げ腰は収容する fact15: 仮に何かは収容するとすると「それは希望しないけど嘆かわしい」ということは成り立つということはない fact16: あの新四軍は歩き易い fact17: 仮になんらかのものは感受するとすれば「それは古臭くなくて更にそれは希望しない」ということは成り立たない fact18: もしもその曜日は収容するとすると「その文教は収容する」ということは確かだ fact19: もしも「分厚くない」ものがあるならばあの極小は希望しないしそれにそれは古臭くない fact20: もし仮に「その曜日は古臭くないし希望しない」ということは成り立たないならばあの逃げ腰は収容しない fact21: その曜日は由々し ; $hypothesis$ = 「「その曜日は嘆かわしい」ということは本当であるとするとあの逃げ腰は収容しない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その曜日は嘆かわしい; fact4 & assump1 -> int1: その曜日は感受する; fact17 -> int2: もしもその曜日は感受すれば「古臭いということはなくてしかも希望しない」ということは本当でない; int1 & int2 -> int3: 「その曜日は古臭くないしさらに希望しない」ということは間違っている; int3 & fact20 -> int4: あの逃げ腰は収容しない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの逃げ腰は収容するとすると「それは感受しないしまた古臭くない」ということは嘘である
事実2: もしもその曜日が希望するとすればあの逃げ腰は収容するということはない
事実3: もしあの境界要素法は希望するとすると「信仰深くないししかもそれは在宅介護支援センターであるということはない」ということは間違いだ
事実4: 仮にその曜日が嘆かわしいならそれは感受する
事実5: もし仮に何かは命中するとしたら「高年齢者雇用安定法であるということはないし厳しかない」ということは間違いだ
事実6: もしその曜日が収容するならあの逃げ腰は希望しない
事実7: もしもあの逃げ腰は霊長だとしたら「それは収容しないしそれに低い」ということは間違いである
事実8: もし「「分厚くて加えて膨らまない」ということは成り立つということはない」ものがあるならその低廉は分厚くない
事実9: 「このケーキ型は嘆かわしいが威張り散らすということはない」ということは成り立たない
事実10: もし仮にある物が希望しなくて古臭くないとするとそのＨＳＦは嘆かわしい
事実11: 「その曜日は古臭くないがそれは希望する」ということは間違っている
事実12: 仮にあの新四軍は歩き易いとしたら「「それは分厚いけれど膨らまない」ということは成り立つ」ということは偽だ
事実13: あの逃げ腰は希望する
事実14: もしその曜日が嘆かわしいとするとあの逃げ腰は収容する
事実15: 仮に何かは収容するとすると「それは希望しないけど嘆かわしい」ということは成り立つということはない
事実16: あの新四軍は歩き易い
事実17: 仮になんらかのものは感受するとすれば「それは古臭くなくて更にそれは希望しない」ということは成り立たない
事実18: もしもその曜日は収容するとすると「その文教は収容する」ということは確かだ
事実19: もしも「分厚くない」ものがあるならばあの極小は希望しないしそれにそれは古臭くない
事実20: もし仮に「その曜日は古臭くないし希望しない」ということは成り立たないならばあの逃げ腰は収容しない
事実21: その曜日は由々し

仮説: 「「その曜日は嘆かわしい」ということは本当であるとするとあの逃げ腰は収容しない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その曜日は嘆かわしい
2. 事実4と仮定1から、推論1: "その曜日は感受する"が導かれる
3. 事実17から、推論2: "もしもその曜日は感受すれば「古臭いということはなくてしかも希望しない」ということは本当でない"が導かれる
4. 推論1と推論2から、推論3: "「その曜日は古臭くないしさらに希望しない」ということは間違っている"が導かれる
5. 推論3と事実20から、推論4: "あの逃げ腰は収容しない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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