あの八手は険しい
fact1: その寝巻きは翌年春である fact2: もし仮にあの輪状披裂関節は奇襲攻撃であるならそれは翌年春である fact3: あのリバイバルは険しい fact4: 何らかの物が凱旋門でないならそれが翌年春だしそれは減額しない fact5: 理屈っぽいものは凱旋門でない fact6: そのエイリアンは奇襲攻撃である fact7: 認め難いということはない一方で鑑定準備作業であるというものはない fact8: この腸球菌が理屈っぽいとするとあの輪状披裂関節は凱旋門でない fact9: あの八手は翌年春である fact10: もしもあの八手がのろのろするとするとそれは本草学だ fact11: 「あの輪状披裂関節は短期賃貸借制度だということはない」ということは正しい fact12: この亜麻は理屈っぽい fact13: あの輪状披裂関節は減額する fact14: もしもあの輪状披裂関節が減額するけど凱旋門でないならあの八手は翌年春でない fact15: 翌年春は奇襲攻撃である fact16: もし仮に「あのレトロウイルスは認め難くないけどそれは鑑定準備作業だ」ということは嘘であるとするとそれは伯仲だ fact17: もしあの八手が険しいとしたらあの輪状披裂関節は奇襲攻撃である fact18: あの輪状披裂関節は翌年春でない fact19: あの輪状披裂関節は険しかない
void -> assump1: 以下のように仮定する。あの八手は険しい; fact17 & assump1 -> int1: あの輪状披裂関節は奇襲攻撃だ; int1 & fact2 -> int2: あの輪状披裂関節は翌年春である; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの八手は険しい
fact20 -> int4: 「あのレトロウイルスは認め難くない一方で鑑定準備作業である」ということは成り立たない; fact22 & int4 -> int5: あのレトロウイルスは伯仲である; int5 -> int6: 「伯仲な」物はある;
$facts$ = fact1: その寝巻きは翌年春である fact2: もし仮にあの輪状披裂関節は奇襲攻撃であるならそれは翌年春である fact3: あのリバイバルは険しい fact4: 何らかの物が凱旋門でないならそれが翌年春だしそれは減額しない fact5: 理屈っぽいものは凱旋門でない fact6: そのエイリアンは奇襲攻撃である fact7: 認め難いということはない一方で鑑定準備作業であるというものはない fact8: この腸球菌が理屈っぽいとするとあの輪状披裂関節は凱旋門でない fact9: あの八手は翌年春である fact10: もしもあの八手がのろのろするとするとそれは本草学だ fact11: 「あの輪状披裂関節は短期賃貸借制度だということはない」ということは正しい fact12: この亜麻は理屈っぽい fact13: あの輪状披裂関節は減額する fact14: もしもあの輪状披裂関節が減額するけど凱旋門でないならあの八手は翌年春でない fact15: 翌年春は奇襲攻撃である fact16: もし仮に「あのレトロウイルスは認め難くないけどそれは鑑定準備作業だ」ということは嘘であるとするとそれは伯仲だ fact17: もしあの八手が険しいとしたらあの輪状披裂関節は奇襲攻撃である fact18: あの輪状披裂関節は翌年春でない fact19: あの輪状披裂関節は険しかない ; $hypothesis$ = あの八手は険しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの八手は険しい; fact17 & assump1 -> int1: あの輪状披裂関節は奇襲攻撃だ; int1 & fact2 -> int2: あの輪状披裂関節は翌年春である; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その寝巻きは翌年春である
事実2: もし仮にあの輪状披裂関節は奇襲攻撃であるならそれは翌年春である
事実3: あのリバイバルは険しい
事実4: 何らかの物が凱旋門でないならそれが翌年春だしそれは減額しない
事実5: 理屈っぽいものは凱旋門でない
事実6: そのエイリアンは奇襲攻撃である
事実7: 認め難いということはない一方で鑑定準備作業であるというものはない
事実8: この腸球菌が理屈っぽいとするとあの輪状披裂関節は凱旋門でない
事実9: あの八手は翌年春である
事実10: もしもあの八手がのろのろするとするとそれは本草学だ
事実11: 「あの輪状披裂関節は短期賃貸借制度だということはない」ということは正しい
事実12: この亜麻は理屈っぽい
事実13: あの輪状披裂関節は減額する
事実14: もしもあの輪状披裂関節が減額するけど凱旋門でないならあの八手は翌年春でない
事実15: 翌年春は奇襲攻撃である
事実16: もし仮に「あのレトロウイルスは認め難くないけどそれは鑑定準備作業だ」ということは嘘であるとするとそれは伯仲だ
事実17: もしあの八手が険しいとしたらあの輪状披裂関節は奇襲攻撃である
事実18: あの輪状披裂関節は翌年春でない
事実19: あの輪状披裂関節は険しかない

仮説: あの八手は険しい
1. 仮定1: 以下のように仮定する。あの八手は険しい
2. 事実17と仮定1から、推論1: "あの輪状披裂関節は奇襲攻撃だ"が導かれる
3. 推論1と事実2から、推論2: "あの輪状披裂関節は翌年春である"が導かれる
4. 推論2と事実18から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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