「この弁逆流は奪うししかも漏斗軟骨器である」ということは間違いだ
fact1: この弁逆流は尊いししかも荷下ろしする fact2: あの許可証明書が出世出来ないとしたらそれは判別し難い fact3: 仮にこの弁逆流が戦略的価値であるならあの許可証明書は奪うということはない一方でそれは軍人らしい fact4: もしもあの許可証明書が漏斗軟骨器だとするとこの弁逆流は乗り難くないけど恐ろしい fact5: あの許可証明書は戦略的価値だ fact6: もしこの弁逆流は軍人らしくないが漏斗軟骨器だとすればそれは判別し難い fact7: もしもあの許可証明書が判別し難いとするとこの弁逆流は奪う fact8: 「その帆走装置は軍人らしくないけどそれはマオイストである」ということは真実である fact9: あの調達計画は学習力でない fact10: 「もしあの他法令が奪うならあの他法令は学習力である」ということは成り立つ fact11: 仮にあの許可証明書は戦略的価値であるならばそれは恐ろしい fact12: あの他法令は学習力である fact13: 乗り難いということはない物が軍人らしいとしたらそれは漏斗軟骨器である fact14: あの他法令は出世出来る fact15: 仮にその帆走装置が尊いとしたらこの弁逆流は乗り難くないけど軍人らしい fact16: その帆走装置は尊い fact17: もしあの許可証明書が戦略的価値なら学習力だ fact18: あの許可証明書が恐ろしくて更にそれが出世出来るとしたらあの他法令は学習力でない
fact11 & fact5 -> int1: あの許可証明書は恐ろしい; void -> assump1: 以下のように仮定する。あの許可証明書は出世出来る; int1 & assump1 -> int2: あの許可証明書は恐ろしくてさらに出世出来る; int2 & fact18 -> int3: あの他法令は学習力でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの許可証明書は出世出来ない; int5 & fact2 -> int6: あの許可証明書は判別し難い; int6 & fact7 -> int7: この弁逆流は奪う; fact13 -> int8: もし仮にこの弁逆流は乗り難くないけれど軍人らしいとしたら漏斗軟骨器だ; fact16 & fact15 -> int9: 「この弁逆流は乗り難くないがしかし軍人らしい」ということは事実だ; int8 & int9 -> int10: この弁逆流は漏斗軟骨器だ; int7 & int10 -> hypothesis;
$facts$ = fact1: この弁逆流は尊いししかも荷下ろしする fact2: あの許可証明書が出世出来ないとしたらそれは判別し難い fact3: 仮にこの弁逆流が戦略的価値であるならあの許可証明書は奪うということはない一方でそれは軍人らしい fact4: もしもあの許可証明書が漏斗軟骨器だとするとこの弁逆流は乗り難くないけど恐ろしい fact5: あの許可証明書は戦略的価値だ fact6: もしこの弁逆流は軍人らしくないが漏斗軟骨器だとすればそれは判別し難い fact7: もしもあの許可証明書が判別し難いとするとこの弁逆流は奪う fact8: 「その帆走装置は軍人らしくないけどそれはマオイストである」ということは真実である fact9: あの調達計画は学習力でない fact10: 「もしあの他法令が奪うならあの他法令は学習力である」ということは成り立つ fact11: 仮にあの許可証明書は戦略的価値であるならばそれは恐ろしい fact12: あの他法令は学習力である fact13: 乗り難いということはない物が軍人らしいとしたらそれは漏斗軟骨器である fact14: あの他法令は出世出来る fact15: 仮にその帆走装置が尊いとしたらこの弁逆流は乗り難くないけど軍人らしい fact16: その帆走装置は尊い fact17: もしあの許可証明書が戦略的価値なら学習力だ fact18: あの許可証明書が恐ろしくて更にそれが出世出来るとしたらあの他法令は学習力でない ; $hypothesis$ = 「この弁逆流は奪うししかも漏斗軟骨器である」ということは間違いだ ; $proof$ = 
fact11 & fact5 -> int1: あの許可証明書は恐ろしい; void -> assump1: 以下のように仮定する。あの許可証明書は出世出来る; int1 & assump1 -> int2: あの許可証明書は恐ろしくてさらに出世出来る; int2 & fact18 -> int3: あの他法令は学習力でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの許可証明書は出世出来ない; int5 & fact2 -> int6: あの許可証明書は判別し難い; int6 & fact7 -> int7: この弁逆流は奪う; fact13 -> int8: もし仮にこの弁逆流は乗り難くないけれど軍人らしいとしたら漏斗軟骨器だ; fact16 & fact15 -> int9: 「この弁逆流は乗り難くないがしかし軍人らしい」ということは事実だ; int8 & int9 -> int10: この弁逆流は漏斗軟骨器だ; int7 & int10 -> hypothesis; __DISPROVED__
事実1: この弁逆流は尊いししかも荷下ろしする
事実2: あの許可証明書が出世出来ないとしたらそれは判別し難い
事実3: 仮にこの弁逆流が戦略的価値であるならあの許可証明書は奪うということはない一方でそれは軍人らしい
事実4: もしもあの許可証明書が漏斗軟骨器だとするとこの弁逆流は乗り難くないけど恐ろしい
事実5: あの許可証明書は戦略的価値だ
事実6: もしこの弁逆流は軍人らしくないが漏斗軟骨器だとすればそれは判別し難い
事実7: もしもあの許可証明書が判別し難いとするとこの弁逆流は奪う
事実8: 「その帆走装置は軍人らしくないけどそれはマオイストである」ということは真実である
事実9: あの調達計画は学習力でない
事実10: 「もしあの他法令が奪うならあの他法令は学習力である」ということは成り立つ
事実11: 仮にあの許可証明書は戦略的価値であるならばそれは恐ろしい
事実12: あの他法令は学習力である
事実13: 乗り難いということはない物が軍人らしいとしたらそれは漏斗軟骨器である
事実14: あの他法令は出世出来る
事実15: 仮にその帆走装置が尊いとしたらこの弁逆流は乗り難くないけど軍人らしい
事実16: その帆走装置は尊い
事実17: もしあの許可証明書が戦略的価値なら学習力だ
事実18: あの許可証明書が恐ろしくて更にそれが出世出来るとしたらあの他法令は学習力でない

仮説: 「この弁逆流は奪うししかも漏斗軟骨器である」ということは間違いだ
1. 事実11と事実5から、推論1: "あの許可証明書は恐ろしい"が導かれる
2. 仮定1: 以下のように仮定する。あの許可証明書は出世出来る
3. 推論1と仮定1から、推論2: "あの許可証明書は恐ろしくてさらに出世出来る"が導かれる
4. 推論2と事実18から、推論3: "あの他法令は学習力でない"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの許可証明書は出世出来ない"が導かれる
7. 推論5と事実2から、推論6: "あの許可証明書は判別し難い"が導かれる
8. 推論6と事実7から、推論7: "この弁逆流は奪う"が導かれる
9. 事実13から、推論8: "もし仮にこの弁逆流は乗り難くないけれど軍人らしいとしたら漏斗軟骨器だ"が導かれる
10. 事実16と事実15から、推論9: "「この弁逆流は乗り難くないがしかし軍人らしい」ということは事実だ"が導かれる
11. 推論8と推論9から、推論10: "この弁逆流は漏斗軟骨器だ"が導かれる
12. 推論7と推論10から、仮説が否定される

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