「この経験者は呂皇太后であるしおまけに犯罪防止である」ということは誤りである
fact1: もし「なにがしかの物は思い巡らさないがしかし重い」ということは成り立たないとするとそれは十五時半でない fact2: もし仮に「あの二次多項式近似は転げ出すかもしくは悪賢くない」ということは嘘だとしたら「寒しない」ということは確かだ fact3: 仮になにかは三百二十三端末だとしたら「それは呂皇太后であるということはないしさらにどくだみだ」ということは嘘だ fact4: 解析モデルは犯罪防止だ fact5: 仮になにかは三百二十三端末だということはないとすると「呂皇太后だしその上犯罪防止である」ということは成り立たない fact6: もしあの二次多項式近似は寒しないなら「「その走破性は広ーいしおまけに腹腔鏡である」ということは嘘でない」ということは成り立たない fact7: 「思い巡らさないけれど重い」物があればこの経験者は呂皇太后だ fact8: もしも「その走破性は解析モデルであるかあるいは北朝鮮問題だ」ということは成り立たないならこの来日公演は解析モデルでない fact9: その若人達は思い巡らさないが呂皇太后である fact10: 「この来日公演は解析モデルだということはない」ということは確かだとしたらこの経験者は三百二十三端末でないしそれに十五時半でない fact11: もしこの来日公演が十五時半であるとしたらこの経験者は三百二十三端末だ fact12: もしこの来日公演が犯罪防止だとしたらそれは十五時半だ fact13: この経験者は犯罪防止だ fact14: 仮になにかは広ーくないならば「それは解析モデルであるかもしくは北朝鮮問題である」ということは真実でない fact15: その若人達は三百二十三端末でない fact16: 何らかのものは重い fact17: もしもなんらかの物が思い巡らすとすると十五時半でない fact18: 「その若人達は十五時半でないしおまけに三百二十三端末だということはない」ということは事実と異なる fact19: 「何かは思い巡らさない」ということは誤っていない fact20: もし仮に「あるものは広ーいし加えて腹腔鏡である」ということは正しいということはないならそれは広ーいということはない
fact1 -> int1: もしも「その若人達は思い巡らさないがそれは重い」ということは嘘ならば十五時半でない; void -> assump1: 以下のように仮定する。「その若人達は思い巡らさないけど重い」ということは事実と異なる; int1 & assump1 -> int2: その若人達は十五時半でない; int2 & fact15 -> int3: その若人達は十五時半でないし更に三百二十三端末でない; int3 & fact18 -> int4: これは矛盾である; [assump1] & int4 -> int5: その若人達は思い巡らさないけれど重い; int5 -> int6: なにかは思い巡らさない一方でそれは重い; int6 & fact7 -> int7: この経験者は呂皇太后である; int7 & fact13 -> hypothesis;
「「この経験者が呂皇太后だし更にそれは犯罪防止である」ということは確かである」ということは偽だ
fact22 -> int8: 仮にこの経験者は三百二十三端末であるということはないとすれば「それが呂皇太后だしおまけにそれは犯罪防止である」ということは嘘である; fact27 -> int9: もしその走破性は広ーいということはないとすれば「解析モデルであるかもしくは北朝鮮問題であるかまたはどちらもである」ということは事実と異なる; fact25 -> int10: もし「その走破性は広ーいし腹腔鏡である」ということは偽ならば広ーいということはない;
$facts$ = fact1: もし「なにがしかの物は思い巡らさないがしかし重い」ということは成り立たないとするとそれは十五時半でない fact2: もし仮に「あの二次多項式近似は転げ出すかもしくは悪賢くない」ということは嘘だとしたら「寒しない」ということは確かだ fact3: 仮になにかは三百二十三端末だとしたら「それは呂皇太后であるということはないしさらにどくだみだ」ということは嘘だ fact4: 解析モデルは犯罪防止だ fact5: 仮になにかは三百二十三端末だということはないとすると「呂皇太后だしその上犯罪防止である」ということは成り立たない fact6: もしあの二次多項式近似は寒しないなら「「その走破性は広ーいしおまけに腹腔鏡である」ということは嘘でない」ということは成り立たない fact7: 「思い巡らさないけれど重い」物があればこの経験者は呂皇太后だ fact8: もしも「その走破性は解析モデルであるかあるいは北朝鮮問題だ」ということは成り立たないならこの来日公演は解析モデルでない fact9: その若人達は思い巡らさないが呂皇太后である fact10: 「この来日公演は解析モデルだということはない」ということは確かだとしたらこの経験者は三百二十三端末でないしそれに十五時半でない fact11: もしこの来日公演が十五時半であるとしたらこの経験者は三百二十三端末だ fact12: もしこの来日公演が犯罪防止だとしたらそれは十五時半だ fact13: この経験者は犯罪防止だ fact14: 仮になにかは広ーくないならば「それは解析モデルであるかもしくは北朝鮮問題である」ということは真実でない fact15: その若人達は三百二十三端末でない fact16: 何らかのものは重い fact17: もしもなんらかの物が思い巡らすとすると十五時半でない fact18: 「その若人達は十五時半でないしおまけに三百二十三端末だということはない」ということは事実と異なる fact19: 「何かは思い巡らさない」ということは誤っていない fact20: もし仮に「あるものは広ーいし加えて腹腔鏡である」ということは正しいということはないならそれは広ーいということはない ; $hypothesis$ = 「この経験者は呂皇太后であるしおまけに犯罪防止である」ということは誤りである ; $proof$ = 
fact1 -> int1: もしも「その若人達は思い巡らさないがそれは重い」ということは嘘ならば十五時半でない; void -> assump1: 以下のように仮定する。「その若人達は思い巡らさないけど重い」ということは事実と異なる; int1 & assump1 -> int2: その若人達は十五時半でない; int2 & fact15 -> int3: その若人達は十五時半でないし更に三百二十三端末でない; int3 & fact18 -> int4: これは矛盾である; [assump1] & int4 -> int5: その若人達は思い巡らさないけれど重い; int5 -> int6: なにかは思い巡らさない一方でそれは重い; int6 & fact7 -> int7: この経験者は呂皇太后である; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかの物は思い巡らさないがしかし重い」ということは成り立たないとするとそれは十五時半でない
事実2: もし仮に「あの二次多項式近似は転げ出すかもしくは悪賢くない」ということは嘘だとしたら「寒しない」ということは確かだ
事実3: 仮になにかは三百二十三端末だとしたら「それは呂皇太后であるということはないしさらにどくだみだ」ということは嘘だ
事実4: 解析モデルは犯罪防止だ
事実5: 仮になにかは三百二十三端末だということはないとすると「呂皇太后だしその上犯罪防止である」ということは成り立たない
事実6: もしあの二次多項式近似は寒しないなら「「その走破性は広ーいしおまけに腹腔鏡である」ということは嘘でない」ということは成り立たない
事実7: 「思い巡らさないけれど重い」物があればこの経験者は呂皇太后だ
事実8: もしも「その走破性は解析モデルであるかあるいは北朝鮮問題だ」ということは成り立たないならこの来日公演は解析モデルでない
事実9: その若人達は思い巡らさないが呂皇太后である
事実10: 「この来日公演は解析モデルだということはない」ということは確かだとしたらこの経験者は三百二十三端末でないしそれに十五時半でない
事実11: もしこの来日公演が十五時半であるとしたらこの経験者は三百二十三端末だ
事実12: もしこの来日公演が犯罪防止だとしたらそれは十五時半だ
事実13: この経験者は犯罪防止だ
事実14: 仮になにかは広ーくないならば「それは解析モデルであるかもしくは北朝鮮問題である」ということは真実でない
事実15: その若人達は三百二十三端末でない
事実16: 何らかのものは重い
事実17: もしもなんらかの物が思い巡らすとすると十五時半でない
事実18: 「その若人達は十五時半でないしおまけに三百二十三端末だということはない」ということは事実と異なる
事実19: 「何かは思い巡らさない」ということは誤っていない
事実20: もし仮に「あるものは広ーいし加えて腹腔鏡である」ということは正しいということはないならそれは広ーいということはない

仮説: 「この経験者は呂皇太后であるしおまけに犯罪防止である」ということは誤りである
1. 事実1から、推論1: "もしも「その若人達は思い巡らさないがそれは重い」ということは嘘ならば十五時半でない"が導かれる
2. 仮定1: 以下のように仮定する。「その若人達は思い巡らさないけど重い」ということは事実と異なる
3. 推論1と仮定1から、推論2: "その若人達は十五時半でない"が導かれる
4. 推論2と事実15から、推論3: "その若人達は十五時半でないし更に三百二十三端末でない"が導かれる
5. 推論3と事実18から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その若人達は思い巡らさないけれど重い"が導かれる
7. 推論5から、推論6: "なにかは思い巡らさない一方でそれは重い"が導かれる
8. 推論6と事実7から、推論7: "この経験者は呂皇太后である"が導かれる
9. 推論7と事実13から、仮説が否定される

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