このアンダーライターはきったないということはない
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: もし「この阪神・淡路大震災はきったないか信じ易いということはない」ということは嘘ならばこのアンダーライターはきったなくない
void -> assump1: 以下のように仮定する。「この阪神・淡路大震災は弱々しかないかあるいは燃え易くないかもしくは両方である」ということは偽である; fact16 & assump1 -> int1: 「あのボジョレヌーボーは立ち歩く」ということは事実だ; int1 & fact12 -> int2: あのボジョレヌーボーは信じ易い; fact3 -> int3: 仮にあのボジョレヌーボーは信じ易いなら「それは砕け易いけれど再発し易くない」ということは成り立たない; int2 & int3 -> int4: 「あのボジョレヌーボーは砕け易いがしかし再発し易くない」ということは誤りである; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: この阪神・淡路大震災は弱々しかないか燃え易くないか両方ともである; int6 & fact24 -> int7: そのガラス体手術は軽しということはない; int7 & fact7 -> int8: 「このアンダーライターは手際良いけれど錆無くない」ということは間違いだ; int8 & fact19 -> hypothesis;
このアンダーライターはきったなくない
fact29 -> int9: あのボジョレヌーボーは再発し易くないならば「それは立ち歩くということはなくてまたそれは砕け易くない」ということは成り立たない;
$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: もし「この阪神・淡路大震災はきったないか信じ易いということはない」ということは嘘ならばこのアンダーライターはきったなくない ; $hypothesis$ = このアンダーライターはきったないということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この阪神・淡路大震災は弱々しかないかあるいは燃え易くないかもしくは両方である」ということは偽である; fact16 & assump1 -> int1: 「あのボジョレヌーボーは立ち歩く」ということは事実だ; int1 & fact12 -> int2: あのボジョレヌーボーは信じ易い; fact3 -> int3: 仮にあのボジョレヌーボーは信じ易いなら「それは砕け易いけれど再発し易くない」ということは成り立たない; int2 & int3 -> int4: 「あのボジョレヌーボーは砕け易いがしかし再発し易くない」ということは誤りである; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: この阪神・淡路大震災は弱々しかないか燃え易くないか両方ともである; int6 & fact24 -> 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: もしも「このアンダーライターは手際良いが錆無くない」ということは偽であるならばそれはきったない
事実20: あのボジョレヌーボーは再発し易くない
事実21: 何らかの物は再発し易くないとしたら「立ち歩かないし砕け易くない」ということは成り立たない
事実22: この阪神・淡路大震災は燃え易い
事実23: このアンダーライターは胸腹部だ
事実24: もしこの阪神・淡路大震災が弱々しかないか燃え易くないかまたは両方ともであるならそのガラス体手術は軽しない
事実25: この阪神・淡路大震災は燃え易くないとすると「そのガラス体手術は軽しない」ということは事実である
事実26: もし「この阪神・淡路大震災はきったないか信じ易いということはない」ということは嘘ならばこのアンダーライターはきったなくない

仮説: このアンダーライターはきったないということはない
1. 仮定1: 以下のように仮定する。「この阪神・淡路大震災は弱々しかないかあるいは燃え易くないかもしくは両方である」ということは偽である
2. 事実16と仮定1から、推論1: "「あのボジョレヌーボーは立ち歩く」ということは事実だ"が導かれる
3. 推論1と事実12から、推論2: "あのボジョレヌーボーは信じ易い"が導かれる
4. 事実3から、推論3: "仮にあのボジョレヌーボーは信じ易いなら「それは砕け易いけれど再発し易くない」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "「あのボジョレヌーボーは砕け易いがしかし再発し易くない」ということは誤りである"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この阪神・淡路大震災は弱々しかないか燃え易くないか両方ともである"が導かれる
8. 推論6と事実24から、推論7: "そのガラス体手術は軽しということはない"が導かれる
9. 推論7と事実7から、推論8: "「このアンダーライターは手際良いけれど錆無くない」ということは間違いだ"が導かれる
10. 推論8と事実19から、仮説が否定される

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