あの顕花植物は惨めったらしいということはない
fact1: もし「「連携プレーであるし応ず」ということは成り立つ」物があるとすればその書紀は若いということはない fact2: もしこの物無しは熱っぽいということはないとすると「取っちめるしおまけにコレクションする」ということは成り立つということはない fact3: もし仮に修行僧がシニア・スタッフならばそれは拡幅工事であるということはない fact4: もし仮にその書紀が腐敗・堕落するとするとこの物無しは愛読するけれど断定し難いということはない fact5: 仮にこの物無しが基幹産業でないとしたら連携プレーであるしさらにそれは応ず fact6: もし「この物無しは惨めったらしいけど若くない」ということは成り立つということはないとするとそれは熱っぽくない fact7: もし仮にあの側仕えが連携プレーだとすると応ずということはないしその上若くない fact8: その書紀は腐敗・堕落しないとすると「それは熱っぽくて取っちめる」ということは間違いだ fact9: もし仮に「この物無しは吹き易いが長細くない」ということは成り立たないとしたら基幹産業でない fact10: もし仮にあの側仕えが応ずないしその上それが若くないならその零．五パーセント点は若い fact11: 「あの側仕えは熱っぽくてまた精密さだ」ということは成り立たないとすると「その新院長は若くない」ということは本当である fact12: 「この物無しは惨めったらしいけど若いということはない」ということは間違っている fact13: 仮にその書紀が若くないとすればあの顕花植物は精密さであるかそれは取っちめない fact14: 「とある物は精密さであるかもしくは取っちめない」ということは事実であるとすればそれは取っちめない fact15: もし仮に「その書紀は熱っぽくて取っちめる」ということは間違っているとするとその新院長は精密さでない fact16: 全てのものは徹底振りだ fact17: もしもこの物無しはＴ字路でないとすると「その零．五パーセント点はコレクションするけどそれは法制化しない」ということは偽だ fact18: 若いものはコレクションするが法制化しない fact19: もし仮になんらかのものはコレクションするなら「それが法制化しないしさらにそれはＴ字路でない」ということは間違っている fact20: もし仮にその書紀が腐敗・堕落するとすると若くない fact21: あの側仕えは連携プレーである fact22: 仮にその書紀は熱っぽいならば「それは法制化するがコレクションするということはない」ということは成り立つ fact23: もし何らかの物は徹底振りだとすれば「吹き易い一方で長細くない」ということは誤りである fact24: もしなにかは取っちめないならば熱っぽいしそれにそれはコレクションする fact25: あの側仕えはコレクションする fact26: もし仮にその書紀は若いしかつ腐敗・堕落するとしたら「それは法制化しない」ということは正しい fact27: 仮にその新院長は精密さでないとすれば「あの顕花植物は惨めったらしい」ということは成り立つ fact28: もし仮に「「取っちめるし加えてコレクションする」ということは間違っている」物があるならその書紀はコレクションしない fact29: なんらかの物が愛読する一方でそれは断定し難くないとすればＴ字路でない fact30: 「なんらかの物は法制化しないしまたＴ字路でない」ということは偽であるとすればそれはＴ字路だ
void -> assump1: 以下のように仮定する。その書紀は腐敗・堕落する; fact4 & assump1 -> int1: この物無しは愛読するけど断定し難くない; fact29 -> int2: もしこの物無しは愛読するがしかし断定し難くないとしたらそれはＴ字路でない; int1 & int2 -> int3: この物無しはＴ字路でない; int3 & fact17 -> int4: 「その零．五パーセント点はコレクションするけれど法制化しない」ということは成り立たない; fact18 -> int5: もしその零．五パーセント点が若いとするとそれはコレクションするしかつ法制化しない; fact21 & fact7 -> int6: あの側仕えは応ずないし若いということはない; int6 & fact10 -> int7: その零．五パーセント点は若い; int5 & int7 -> int8: その零．五パーセント点はコレクションするけれど法制化しない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その書紀は腐敗・堕落しない; int10 & fact8 -> int11: 「その書紀は熱っぽくてさらに取っちめる」ということは間違いだ; int11 & fact15 -> int12: その新院長は精密さでない; int12 & fact27 -> hypothesis;
あの顕花植物は惨めったらしくない
fact37 -> int13: 仮に「あの顕花植物はコレクションする」ということは事実であるなら「法制化しなくてそれにそれはＴ字路でない」ということは偽である; fact35 -> int14: 「あの顕花植物は取っちめない」ということは成り立つならそれは熱っぽいしコレクションする; fact31 -> int15: もしもその零．五パーセント点は徹底振りだとすると「吹き易い一方で長細くない」ということは誤りである; fact36 -> int16: その零．五パーセント点は徹底振りだ; int15 & int16 -> int17: 「「その零．五パーセント点は吹き易いがそれは長細くない」ということは成り立たない」ということは真実だ; int17 -> int18: 吹き易くて長細くないものはない; int18 -> int19: 「この物無しは吹き易いが長細くない」ということは確かでない; fact33 & int19 -> int20: この物無しは基幹産業でない; fact32 & int20 -> int21: この物無しは連携プレーだし加えてそれは応ず; int21 -> int22: なにがしかの物は連携プレーでしかも応ず; int22 & fact34 -> int23: その書紀は若くない; int23 & fact40 -> int24: あの顕花植物は精密さであるかあるいは取っちめない; fact39 -> int25: もし「あの顕花植物は精密さであるかもしくはそれは取っちめるということはないかあるいは両方ともである」ということは確かだとすると取っちめるということはない; int24 & int25 -> int26: あの顕花植物は取っちめるということはない; int14 & int26 -> int27: あの顕花植物は熱っぽくてそれはコレクションする; int27 -> int28: あの顕花植物はコレクションする; int13 & int28 -> int29: 「あの顕花植物は法制化しないし加えてＴ字路でない」ということは嘘である; fact38 -> int30: 「あの顕花植物は法制化するということはないしまたＴ字路でない」ということは成り立たないとするとそれはＴ字路である; int29 & int30 -> int31: あの顕花植物はＴ字路だ;
$facts$ = fact1: もし「「連携プレーであるし応ず」ということは成り立つ」物があるとすればその書紀は若いということはない fact2: もしこの物無しは熱っぽいということはないとすると「取っちめるしおまけにコレクションする」ということは成り立つということはない fact3: もし仮に修行僧がシニア・スタッフならばそれは拡幅工事であるということはない fact4: もし仮にその書紀が腐敗・堕落するとするとこの物無しは愛読するけれど断定し難いということはない fact5: 仮にこの物無しが基幹産業でないとしたら連携プレーであるしさらにそれは応ず fact6: もし「この物無しは惨めったらしいけど若くない」ということは成り立つということはないとするとそれは熱っぽくない fact7: もし仮にあの側仕えが連携プレーだとすると応ずということはないしその上若くない fact8: その書紀は腐敗・堕落しないとすると「それは熱っぽくて取っちめる」ということは間違いだ fact9: もし仮に「この物無しは吹き易いが長細くない」ということは成り立たないとしたら基幹産業でない fact10: もし仮にあの側仕えが応ずないしその上それが若くないならその零．五パーセント点は若い fact11: 「あの側仕えは熱っぽくてまた精密さだ」ということは成り立たないとすると「その新院長は若くない」ということは本当である fact12: 「この物無しは惨めったらしいけど若いということはない」ということは間違っている fact13: 仮にその書紀が若くないとすればあの顕花植物は精密さであるかそれは取っちめない fact14: 「とある物は精密さであるかもしくは取っちめない」ということは事実であるとすればそれは取っちめない fact15: もし仮に「その書紀は熱っぽくて取っちめる」ということは間違っているとするとその新院長は精密さでない fact16: 全てのものは徹底振りだ fact17: もしもこの物無しはＴ字路でないとすると「その零．五パーセント点はコレクションするけどそれは法制化しない」ということは偽だ fact18: 若いものはコレクションするが法制化しない fact19: もし仮になんらかのものはコレクションするなら「それが法制化しないしさらにそれはＴ字路でない」ということは間違っている fact20: もし仮にその書紀が腐敗・堕落するとすると若くない fact21: あの側仕えは連携プレーである fact22: 仮にその書紀は熱っぽいならば「それは法制化するがコレクションするということはない」ということは成り立つ fact23: もし何らかの物は徹底振りだとすれば「吹き易い一方で長細くない」ということは誤りである fact24: もしなにかは取っちめないならば熱っぽいしそれにそれはコレクションする fact25: あの側仕えはコレクションする fact26: もし仮にその書紀は若いしかつ腐敗・堕落するとしたら「それは法制化しない」ということは正しい fact27: 仮にその新院長は精密さでないとすれば「あの顕花植物は惨めったらしい」ということは成り立つ fact28: もし仮に「「取っちめるし加えてコレクションする」ということは間違っている」物があるならその書紀はコレクションしない fact29: なんらかの物が愛読する一方でそれは断定し難くないとすればＴ字路でない fact30: 「なんらかの物は法制化しないしまたＴ字路でない」ということは偽であるとすればそれはＴ字路だ ; $hypothesis$ = あの顕花植物は惨めったらしいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その書紀は腐敗・堕落する; fact4 & assump1 -> int1: この物無しは愛読するけど断定し難くない; fact29 -> int2: もしこの物無しは愛読するがしかし断定し難くないとしたらそれはＴ字路でない; int1 & int2 -> int3: この物無しはＴ字路でない; int3 & fact17 -> int4: 「その零．五パーセント点はコレクションするけれど法制化しない」ということは成り立たない; fact18 -> int5: もしその零．五パーセント点が若いとするとそれはコレクションするしかつ法制化しない; fact21 & fact7 -> int6: あの側仕えは応ずないし若いということはない; int6 & fact10 -> int7: その零．五パーセント点は若い; int5 & int7 -> int8: その零．五パーセント点はコレクションするけれど法制化しない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その書紀は腐敗・堕落しない; int10 & fact8 -> int11: 「その書紀は熱っぽくてさらに取っちめる」ということは間違いだ; int11 & fact15 -> int12: その新院長は精密さでない; int12 & fact27 -> hypothesis; __DISPROVED__
事実1: もし「「連携プレーであるし応ず」ということは成り立つ」物があるとすればその書紀は若いということはない
事実2: もしこの物無しは熱っぽいということはないとすると「取っちめるしおまけにコレクションする」ということは成り立つということはない
事実3: もし仮に修行僧がシニア・スタッフならばそれは拡幅工事であるということはない
事実4: もし仮にその書紀が腐敗・堕落するとするとこの物無しは愛読するけれど断定し難いということはない
事実5: 仮にこの物無しが基幹産業でないとしたら連携プレーであるしさらにそれは応ず
事実6: もし「この物無しは惨めったらしいけど若くない」ということは成り立つということはないとするとそれは熱っぽくない
事実7: もし仮にあの側仕えが連携プレーだとすると応ずということはないしその上若くない
事実8: その書紀は腐敗・堕落しないとすると「それは熱っぽくて取っちめる」ということは間違いだ
事実9: もし仮に「この物無しは吹き易いが長細くない」ということは成り立たないとしたら基幹産業でない
事実10: もし仮にあの側仕えが応ずないしその上それが若くないならその零．五パーセント点は若い
事実11: 「あの側仕えは熱っぽくてまた精密さだ」ということは成り立たないとすると「その新院長は若くない」ということは本当である
事実12: 「この物無しは惨めったらしいけど若いということはない」ということは間違っている
事実13: 仮にその書紀が若くないとすればあの顕花植物は精密さであるかそれは取っちめない
事実14: 「とある物は精密さであるかもしくは取っちめない」ということは事実であるとすればそれは取っちめない
事実15: もし仮に「その書紀は熱っぽくて取っちめる」ということは間違っているとするとその新院長は精密さでない
事実16: 全てのものは徹底振りだ
事実17: もしもこの物無しはＴ字路でないとすると「その零．五パーセント点はコレクションするけどそれは法制化しない」ということは偽だ
事実18: 若いものはコレクションするが法制化しない
事実19: もし仮になんらかのものはコレクションするなら「それが法制化しないしさらにそれはＴ字路でない」ということは間違っている
事実20: もし仮にその書紀が腐敗・堕落するとすると若くない
事実21: あの側仕えは連携プレーである
事実22: 仮にその書紀は熱っぽいならば「それは法制化するがコレクションするということはない」ということは成り立つ
事実23: もし何らかの物は徹底振りだとすれば「吹き易い一方で長細くない」ということは誤りである
事実24: もしなにかは取っちめないならば熱っぽいしそれにそれはコレクションする
事実25: あの側仕えはコレクションする
事実26: もし仮にその書紀は若いしかつ腐敗・堕落するとしたら「それは法制化しない」ということは正しい
事実27: 仮にその新院長は精密さでないとすれば「あの顕花植物は惨めったらしい」ということは成り立つ
事実28: もし仮に「「取っちめるし加えてコレクションする」ということは間違っている」物があるならその書紀はコレクションしない
事実29: なんらかの物が愛読する一方でそれは断定し難くないとすればＴ字路でない
事実30: 「なんらかの物は法制化しないしまたＴ字路でない」ということは偽であるとすればそれはＴ字路だ

仮説: あの顕花植物は惨めったらしいということはない
1. 仮定1: 以下のように仮定する。その書紀は腐敗・堕落する
2. 事実4と仮定1から、推論1: "この物無しは愛読するけど断定し難くない"が導かれる
3. 事実29から、推論2: "もしこの物無しは愛読するがしかし断定し難くないとしたらそれはＴ字路でない"が導かれる
4. 推論1と推論2から、推論3: "この物無しはＴ字路でない"が導かれる
5. 推論3と事実17から、推論4: "「その零．五パーセント点はコレクションするけれど法制化しない」ということは成り立たない"が導かれる
6. 事実18から、推論5: "もしその零．五パーセント点が若いとするとそれはコレクションするしかつ法制化しない"が導かれる
7. 事実21と事実7から、推論6: "あの側仕えは応ずないし若いということはない"が導かれる
8. 推論6と事実10から、推論7: "その零．五パーセント点は若い"が導かれる
9. 推論5と推論7から、推論8: "その零．五パーセント点はコレクションするけれど法制化しない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その書紀は腐敗・堕落しない"が導かれる
12. 推論10と事実8から、推論11: "「その書紀は熱っぽくてさらに取っちめる」ということは間違いだ"が導かれる
13. 推論11と事実15から、推論12: "その新院長は精密さでない"が導かれる
14. 推論12と事実27から、仮説が否定される

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