あの三年以上は窮屈さでない
fact1: もし仮にそのスロットマシンが溶き延ばすけどそれが忘れ始めないとするとこの一型サイトカインレセプターは斉唱であるということはない fact2: もし「なにかは忘れ始める一方で止めど無くない」ということは間違いであるとしたらそれは忘れ始めるということはない fact3: 仮にとある物は回収しないとしたら「「それは狡っ辛くてさらに刺々でない」ということは成り立つ」ということは事実と異なる fact4: もしこの一型サイトカインレセプターが斉唱でないとするとあの海岸砲台は炭水化物だけど確からしいということはない fact5: もしもこのストライキが刺々であるとしたらこの美大はうじうじする fact6: 仮に「とある物はポリープ頭部だということはないししかもそれは漂着物拾いだということはない」ということは成り立たないとすれば着易くない fact7: 仮にその立体自動倉庫が柏餅でない一方でそれが溶き延ばすとすればそのスロットマシンは溶き延ばす fact8: 仮になにかはポリープ頭部だということはなくて加えてそれが漂着物拾いでないとすればそれは狡っ辛い fact9: 狡っ辛いものは刺々である fact10: もしも「あの海岸砲台は狡っ辛いがしかし刺々でない」ということは間違いだとしたらこのストライキは刺々である fact11: もしこの二十四節気が狡っ辛いとするとあの三年以上は窮屈さだ fact12: もしもあるものは回収しないとすれば「それは刺々であるということはない」ということは成り立つ fact13: もしこの二十四節気がポリープ頭部でないけど漂着物拾いだとすればそれは狡っ辛い fact14: もしもなんらかのものは刺々であるなら「「それは着易くないしその上それはうじうじする」ということは成り立つ」ということは成り立たない fact15: その立体自動倉庫は取り易くない fact16: もし「何らかのものは着易くないがしかしそれはうじうじする」ということは成り立たないなら漂着物拾いでない fact17: この美大は回収するということはない fact18: 着易いということはないものはうじうじする fact19: 仮にこの美大が窮屈さでないが着易いとしたらあの三年以上は窮屈さであるということはない fact20: もし仮にその立体自動倉庫が取り易くないなら柏餅だということはないしさらに溶き延ばす fact21: 「確からしくない炭水化物は回収しない」ということは事実である fact22: もしこの二十四節気がうじうじすればこの美大は刺々だ
fact6 -> int1: 仮に「この二十四節気はポリープ頭部でなくてその上漂着物拾いでない」ということは偽であるとすれば「着易くない」ということは成り立つ; void -> assump1: 以下のように仮定する。「この二十四節気はポリープ頭部でなくて漂着物拾いでない」ということは事実と異なる; int1 & assump1 -> int2: この二十四節気は着易くない; fact18 -> int3: もしもこの二十四節気は着易いということはないならば「うじうじする」ということは確かだ; int2 & int3 -> int4: 「この二十四節気はうじうじする」ということは事実である; int4 & fact22 -> int5: この美大は刺々だ; fact12 -> int6: もし「この美大は回収する」ということは成り立たないなら刺々でない; int6 & fact17 -> int7: この美大は刺々であるということはない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この二十四節気はポリープ頭部でないし漂着物拾いでない; fact8 -> int10: もし仮にこの二十四節気がポリープ頭部でないしその上それが漂着物拾いだということはないならばそれは狡っ辛い; int9 & int10 -> int11: この二十四節気は狡っ辛い; int11 & fact11 -> hypothesis;
あの三年以上は窮屈さでない
fact29 -> int12: もしあの海岸砲台は回収するということはないならば「狡っ辛い一方で刺々でない」ということは偽である; fact27 -> int13: もしあの海岸砲台が炭水化物だけれど確からしいということはないとしたら「それは回収しない」ということは本当だ; fact31 & fact32 -> int14: その立体自動倉庫は柏餅でないがしかしそれは溶き延ばす; fact30 & int14 -> int15: 「そのスロットマシンは溶き延ばす」ということは成り立つ; fact24 -> int16: 仮に「そのスロットマシンは忘れ始めるが止めど無くない」ということは偽であるとしたら忘れ始めるということはない;
$facts$ = fact1: もし仮にそのスロットマシンが溶き延ばすけどそれが忘れ始めないとするとこの一型サイトカインレセプターは斉唱であるということはない fact2: もし「なにかは忘れ始める一方で止めど無くない」ということは間違いであるとしたらそれは忘れ始めるということはない fact3: 仮にとある物は回収しないとしたら「「それは狡っ辛くてさらに刺々でない」ということは成り立つ」ということは事実と異なる fact4: もしこの一型サイトカインレセプターが斉唱でないとするとあの海岸砲台は炭水化物だけど確からしいということはない fact5: もしもこのストライキが刺々であるとしたらこの美大はうじうじする fact6: 仮に「とある物はポリープ頭部だということはないししかもそれは漂着物拾いだということはない」ということは成り立たないとすれば着易くない fact7: 仮にその立体自動倉庫が柏餅でない一方でそれが溶き延ばすとすればそのスロットマシンは溶き延ばす fact8: 仮になにかはポリープ頭部だということはなくて加えてそれが漂着物拾いでないとすればそれは狡っ辛い fact9: 狡っ辛いものは刺々である fact10: もしも「あの海岸砲台は狡っ辛いがしかし刺々でない」ということは間違いだとしたらこのストライキは刺々である fact11: もしこの二十四節気が狡っ辛いとするとあの三年以上は窮屈さだ fact12: もしもあるものは回収しないとすれば「それは刺々であるということはない」ということは成り立つ fact13: もしこの二十四節気がポリープ頭部でないけど漂着物拾いだとすればそれは狡っ辛い fact14: もしもなんらかのものは刺々であるなら「「それは着易くないしその上それはうじうじする」ということは成り立つ」ということは成り立たない fact15: その立体自動倉庫は取り易くない fact16: もし「何らかのものは着易くないがしかしそれはうじうじする」ということは成り立たないなら漂着物拾いでない fact17: この美大は回収するということはない fact18: 着易いということはないものはうじうじする fact19: 仮にこの美大が窮屈さでないが着易いとしたらあの三年以上は窮屈さであるということはない fact20: もし仮にその立体自動倉庫が取り易くないなら柏餅だということはないしさらに溶き延ばす fact21: 「確からしくない炭水化物は回収しない」ということは事実である fact22: もしこの二十四節気がうじうじすればこの美大は刺々だ ; $hypothesis$ = あの三年以上は窮屈さでない ; $proof$ = 
fact6 -> int1: 仮に「この二十四節気はポリープ頭部でなくてその上漂着物拾いでない」ということは偽であるとすれば「着易くない」ということは成り立つ; void -> assump1: 以下のように仮定する。「この二十四節気はポリープ頭部でなくて漂着物拾いでない」ということは事実と異なる; int1 & assump1 -> int2: この二十四節気は着易くない; fact18 -> int3: もしもこの二十四節気は着易いということはないならば「うじうじする」ということは確かだ; int2 & int3 -> int4: 「この二十四節気はうじうじする」ということは事実である; int4 & fact22 -> int5: この美大は刺々だ; fact12 -> int6: もし「この美大は回収する」ということは成り立たないなら刺々でない; int6 & fact17 -> int7: この美大は刺々であるということはない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この二十四節気はポリープ頭部でないし漂着物拾いでない; fact8 -> int10: もし仮にこの二十四節気がポリープ頭部でないしその上それが漂着物拾いだということはないならばそれは狡っ辛い; int9 & int10 -> int11: この二十四節気は狡っ辛い; int11 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮にそのスロットマシンが溶き延ばすけどそれが忘れ始めないとするとこの一型サイトカインレセプターは斉唱であるということはない
事実2: もし「なにかは忘れ始める一方で止めど無くない」ということは間違いであるとしたらそれは忘れ始めるということはない
事実3: 仮にとある物は回収しないとしたら「「それは狡っ辛くてさらに刺々でない」ということは成り立つ」ということは事実と異なる
事実4: もしこの一型サイトカインレセプターが斉唱でないとするとあの海岸砲台は炭水化物だけど確からしいということはない
事実5: もしもこのストライキが刺々であるとしたらこの美大はうじうじする
事実6: 仮に「とある物はポリープ頭部だということはないししかもそれは漂着物拾いだということはない」ということは成り立たないとすれば着易くない
事実7: 仮にその立体自動倉庫が柏餅でない一方でそれが溶き延ばすとすればそのスロットマシンは溶き延ばす
事実8: 仮になにかはポリープ頭部だということはなくて加えてそれが漂着物拾いでないとすればそれは狡っ辛い
事実9: 狡っ辛いものは刺々である
事実10: もしも「あの海岸砲台は狡っ辛いがしかし刺々でない」ということは間違いだとしたらこのストライキは刺々である
事実11: もしこの二十四節気が狡っ辛いとするとあの三年以上は窮屈さだ
事実12: もしもあるものは回収しないとすれば「それは刺々であるということはない」ということは成り立つ
事実13: もしこの二十四節気がポリープ頭部でないけど漂着物拾いだとすればそれは狡っ辛い
事実14: もしもなんらかのものは刺々であるなら「「それは着易くないしその上それはうじうじする」ということは成り立つ」ということは成り立たない
事実15: その立体自動倉庫は取り易くない
事実16: もし「何らかのものは着易くないがしかしそれはうじうじする」ということは成り立たないなら漂着物拾いでない
事実17: この美大は回収するということはない
事実18: 着易いということはないものはうじうじする
事実19: 仮にこの美大が窮屈さでないが着易いとしたらあの三年以上は窮屈さであるということはない
事実20: もし仮にその立体自動倉庫が取り易くないなら柏餅だということはないしさらに溶き延ばす
事実21: 「確からしくない炭水化物は回収しない」ということは事実である
事実22: もしこの二十四節気がうじうじすればこの美大は刺々だ

仮説: あの三年以上は窮屈さでない
1. 事実6から、推論1: "仮に「この二十四節気はポリープ頭部でなくてその上漂着物拾いでない」ということは偽であるとすれば「着易くない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。「この二十四節気はポリープ頭部でなくて漂着物拾いでない」ということは事実と異なる
3. 推論1と仮定1から、推論2: "この二十四節気は着易くない"が導かれる
4. 事実18から、推論3: "もしもこの二十四節気は着易いということはないならば「うじうじする」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "「この二十四節気はうじうじする」ということは事実である"が導かれる
6. 推論4と事実22から、推論5: "この美大は刺々だ"が導かれる
7. 事実12から、推論6: "もし「この美大は回収する」ということは成り立たないなら刺々でない"が導かれる
8. 推論6と事実17から、推論7: "この美大は刺々であるということはない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この二十四節気はポリープ頭部でないし漂着物拾いでない"が導かれる
11. 事実8から、推論10: "もし仮にこの二十四節気がポリープ頭部でないしその上それが漂着物拾いだということはないならばそれは狡っ辛い"が導かれる
12. 推論9と推論10から、推論11: "この二十四節気は狡っ辛い"が導かれる
13. 推論11と事実11から、仮説が否定される

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