「あの脊髄小脳変性症は構え易いしさらにそれは悍ましい」ということは成り立たない
fact1: あの解散命令は西の内紙でない fact2: 仮にあの解散命令は遅れ易くないし更に言い放たないとすればそれは通る fact3: もし仮に何らかの物が孝行しないならばそれは考えしない fact4: もし仮にあの抗ヒスタミン薬は作動しないとすると「「この円盤質量は通るし結び付き易い」ということは確かだ」ということは偽である fact5: あの解散命令は太り難いということはないならば「あの脊髄小脳変性症は構え易いし加えてそれは悍ましい」ということは成り立つということはない fact6: もし「「主幹事証券会社だ」ということは本当な」ものはあれば「その中性は主幹事証券会社でない一方で漏れ易い」ということは成り立つということはない fact7: あの脊髄小脳変性症が作動するなら構え易い fact8: もしも「この物持ち筋は西の内紙であるがしかし潔しない」ということは成り立たないとしたらあの株主優待企業は西の内紙だ fact9: もし仮にあの解散命令は西の内紙でないなら「それは太り難くないかまたは通るか両方ともである」ということは事実と異なる fact10: あの脊髄小脳変性症が結び付き易くないならば作動する fact11: もしもこの物持ち筋は考えしないとしたら「「西の内紙だけれど潔しない」ということは本当である」ということは間違っている fact12: もしも何かは独占出来るかもしくは徒らっぽいかもしくは両方だとすると孝行しない fact13: もしもあの株主優待企業が西の内紙だしそれが作動するならあの抗ヒスタミン薬は作動するということはない fact14: 倭国大乱は主幹事証券会社だ fact15: 「この後始末は倭国大乱だ」ということは成り立つ fact16: もし仮に「あの解散命令は遅れ易くなくてそれは言い放たない」ということは偽であるとしたらあの脊髄小脳変性症は結び付き易くない fact17: この物持ち筋は独占出来るかあるいは徒らっぽいかどちらもである fact18: もし「その中性は主幹事証券会社でない一方で漏れ易い」ということは嘘であるとしたらあの株主優待企業は作動する fact19: 「あの脊髄小脳変性症は悍ましい」ということは正しい
void -> assump1: 以下のように仮定する。あの解散命令は遅れ易くないしおまけに言い放たない; fact2 & assump1 -> int1: 「あの解散命令は通る」ということは真実だ; int1 -> int2: あの解散命令は太り難くないか通るかもしくはどちらもだ; fact1 & fact9 -> int3: 「あの解散命令は太り難くないかもしくは通るかあるいは両方ともである」ということは誤っている; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの解散命令は遅れ易くないししかもそれは言い放たない」ということは誤りだ; int5 & fact16 -> int6: あの脊髄小脳変性症は結び付き易くない; int6 & fact10 -> int7: あの脊髄小脳変性症は作動する; int7 & fact7 -> int8: あの脊髄小脳変性症は構え易い; int8 & fact19 -> hypothesis;
「あの脊髄小脳変性症は構え易くてかつ悍ましい」ということは間違いである
fact25 -> int9: もし仮にこの物持ち筋が孝行しないとすればそれは考えしない; fact23 -> int10: もしもこの物持ち筋は独占出来るかまたは徒らっぽいかまたは両方ともだとすればそれは孝行しない; int10 & fact29 -> int11: この物持ち筋は孝行しない; int9 & int11 -> int12: 「この物持ち筋は考えしない」ということは真実だ; fact20 & int12 -> int13: 「「この物持ち筋は西の内紙である一方で潔しということはない」ということは成り立つ」ということは成り立たない; fact26 & int13 -> int14: あの株主優待企業は西の内紙である; fact28 -> int15: もしもこの後始末が倭国大乱だとしたらそれは主幹事証券会社である; int15 & fact31 -> int16: この後始末は主幹事証券会社だ; int16 -> int17: 「主幹事証券会社な」ものはある; int17 & fact21 -> int18: 「その中性は主幹事証券会社でないが漏れ易い」ということは成り立たない; fact24 & int18 -> int19: 「あの株主優待企業は作動する」ということは真実である; int14 & int19 -> int20: あの株主優待企業は西の内紙であるしそれに作動する; fact27 & int20 -> int21: 「あの抗ヒスタミン薬は作動しない」ということは成り立つ; fact30 & int21 -> int22: 「この円盤質量は通るし結び付き易い」ということは成り立たない; int22 -> int23: 「「「通るししかも結び付き易い」ということは成り立つ」ということは成り立たない」ものはある;
$facts$ = fact1: あの解散命令は西の内紙でない fact2: 仮にあの解散命令は遅れ易くないし更に言い放たないとすればそれは通る fact3: もし仮に何らかの物が孝行しないならばそれは考えしない fact4: もし仮にあの抗ヒスタミン薬は作動しないとすると「「この円盤質量は通るし結び付き易い」ということは確かだ」ということは偽である fact5: あの解散命令は太り難いということはないならば「あの脊髄小脳変性症は構え易いし加えてそれは悍ましい」ということは成り立つということはない fact6: もし「「主幹事証券会社だ」ということは本当な」ものはあれば「その中性は主幹事証券会社でない一方で漏れ易い」ということは成り立つということはない fact7: あの脊髄小脳変性症が作動するなら構え易い fact8: もしも「この物持ち筋は西の内紙であるがしかし潔しない」ということは成り立たないとしたらあの株主優待企業は西の内紙だ fact9: もし仮にあの解散命令は西の内紙でないなら「それは太り難くないかまたは通るか両方ともである」ということは事実と異なる fact10: あの脊髄小脳変性症が結び付き易くないならば作動する fact11: もしもこの物持ち筋は考えしないとしたら「「西の内紙だけれど潔しない」ということは本当である」ということは間違っている fact12: もしも何かは独占出来るかもしくは徒らっぽいかもしくは両方だとすると孝行しない fact13: もしもあの株主優待企業が西の内紙だしそれが作動するならあの抗ヒスタミン薬は作動するということはない fact14: 倭国大乱は主幹事証券会社だ fact15: 「この後始末は倭国大乱だ」ということは成り立つ fact16: もし仮に「あの解散命令は遅れ易くなくてそれは言い放たない」ということは偽であるとしたらあの脊髄小脳変性症は結び付き易くない fact17: この物持ち筋は独占出来るかあるいは徒らっぽいかどちらもである fact18: もし「その中性は主幹事証券会社でない一方で漏れ易い」ということは嘘であるとしたらあの株主優待企業は作動する fact19: 「あの脊髄小脳変性症は悍ましい」ということは正しい ; $hypothesis$ = 「あの脊髄小脳変性症は構え易いしさらにそれは悍ましい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの解散命令は遅れ易くないしおまけに言い放たない; fact2 & assump1 -> int1: 「あの解散命令は通る」ということは真実だ; int1 -> int2: あの解散命令は太り難くないか通るかもしくはどちらもだ; fact1 & fact9 -> int3: 「あの解散命令は太り難くないかもしくは通るかあるいは両方ともである」ということは誤っている; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの解散命令は遅れ易くないししかもそれは言い放たない」ということは誤りだ; int5 & fact16 -> int6: あの脊髄小脳変性症は結び付き易くない; int6 & fact10 -> int7: あの脊髄小脳変性症は作動する; int7 & fact7 -> int8: あの脊髄小脳変性症は構え易い; int8 & fact19 -> hypothesis; __DISPROVED__
事実1: あの解散命令は西の内紙でない
事実2: 仮にあの解散命令は遅れ易くないし更に言い放たないとすればそれは通る
事実3: もし仮に何らかの物が孝行しないならばそれは考えしない
事実4: もし仮にあの抗ヒスタミン薬は作動しないとすると「「この円盤質量は通るし結び付き易い」ということは確かだ」ということは偽である
事実5: あの解散命令は太り難いということはないならば「あの脊髄小脳変性症は構え易いし加えてそれは悍ましい」ということは成り立つということはない
事実6: もし「「主幹事証券会社だ」ということは本当な」ものはあれば「その中性は主幹事証券会社でない一方で漏れ易い」ということは成り立つということはない
事実7: あの脊髄小脳変性症が作動するなら構え易い
事実8: もしも「この物持ち筋は西の内紙であるがしかし潔しない」ということは成り立たないとしたらあの株主優待企業は西の内紙だ
事実9: もし仮にあの解散命令は西の内紙でないなら「それは太り難くないかまたは通るか両方ともである」ということは事実と異なる
事実10: あの脊髄小脳変性症が結び付き易くないならば作動する
事実11: もしもこの物持ち筋は考えしないとしたら「「西の内紙だけれど潔しない」ということは本当である」ということは間違っている
事実12: もしも何かは独占出来るかもしくは徒らっぽいかもしくは両方だとすると孝行しない
事実13: もしもあの株主優待企業が西の内紙だしそれが作動するならあの抗ヒスタミン薬は作動するということはない
事実14: 倭国大乱は主幹事証券会社だ
事実15: 「この後始末は倭国大乱だ」ということは成り立つ
事実16: もし仮に「あの解散命令は遅れ易くなくてそれは言い放たない」ということは偽であるとしたらあの脊髄小脳変性症は結び付き易くない
事実17: この物持ち筋は独占出来るかあるいは徒らっぽいかどちらもである
事実18: もし「その中性は主幹事証券会社でない一方で漏れ易い」ということは嘘であるとしたらあの株主優待企業は作動する
事実19: 「あの脊髄小脳変性症は悍ましい」ということは正しい

仮説: 「あの脊髄小脳変性症は構え易いしさらにそれは悍ましい」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの解散命令は遅れ易くないしおまけに言い放たない
2. 事実2と仮定1から、推論1: "「あの解散命令は通る」ということは真実だ"が導かれる
3. 推論1から、推論2: "あの解散命令は太り難くないか通るかもしくはどちらもだ"が導かれる
4. 事実1と事実9から、推論3: "「あの解散命令は太り難くないかもしくは通るかあるいは両方ともである」ということは誤っている"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの解散命令は遅れ易くないししかもそれは言い放たない」ということは誤りだ"が導かれる
7. 推論5と事実16から、推論6: "あの脊髄小脳変性症は結び付き易くない"が導かれる
8. 推論6と事実10から、推論7: "あの脊髄小脳変性症は作動する"が導かれる
9. 推論7と事実7から、推論8: "あの脊髄小脳変性症は構え易い"が導かれる
10. 推論8と事実19から、仮説が否定される

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