あの外場は挟み取らない
fact1: もし仮になにがしかのものは保安規程でないなら危なっかしい fact2: 何らかの物が区別し易いとしたら危なっかしい fact3: もしこのエレキギターが狡っ辛いとすればそれは美し fact4: この円柱形は重い fact5: もしもこのエレキギターが美しならばそれは挟み取る fact6: もし仮に「濁さない」ものがあるとすればあの太極符印は狡っ辛くておまけに断り難い fact7: 仮になにがしかの物が危なっかしいなら区別し易いしおまけに美しない fact8: 「このエレキギターは狡っ辛い」ということは本当だ fact9: もし「そのソッカは燃やし続ける」ということは誤りでないとするとその太極符印は燃やし続ける fact10: この円柱形が危なっかしいとするとあの外場は保安規程だ fact11: その別邸は重い fact12: もしもそのソッカがＥＳＣキーだとすればあの太極符印は燃やし続ける fact13: この円柱形が区別し易くないがしかしそれが溜まり易いならばこのエレキギターは美しない fact14: あの両名は伯であるが認め印だということはない fact15: あの外場が保安規程だとすると挟み取る fact16: もしもこのエレキギターが区別し易いけど美しということはないならこの円柱形は溜まり易くない fact17: そのソッカはＥＳＣキーであるか燃やし続けるかどちらもである fact18: 仮に「あるものは重くないけれど溜まり易い」ということは偽であるならばそれは挟み取らない fact19: この円柱形は溜まり易くて重い fact20: もしあの両名が伯であるがしかし認め印でないならあのリザベーションは濁すということはない
fact19 -> int1: この円柱形は溜まり易い; void -> assump1: 以下のように仮定する。この円柱形は区別し易くない; int1 & assump1 -> int2: この円柱形は区別し易くないけれどそれは溜まり易い; int2 & fact13 -> int3: このエレキギターは美しということはない; fact8 & fact3 -> int4: このエレキギターは美し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この円柱形は区別し易い; fact2 -> int7: もしもこの円柱形が区別し易いとすればそれは危なっかしい; int6 & int7 -> int8: この円柱形は危なっかしい; int8 & fact10 -> int9: あの外場は保安規程である; int9 & fact15 -> hypothesis;
あの外場は挟み取らない
fact27 -> int10: もしも「あの外場は重くないがそれは溜まり易い」ということは成り立たないとすると挟み取らない; fact22 -> int11: 仮にこのエレキギターが危なっかしいなら区別し易い一方で美しない; fact28 -> int12: もし「このエレキギターは保安規程でない」ということは正しいならそれは危なっかしい; fact23 & fact24 & fact30 -> int13: その太極符印は燃やし続ける; fact26 & fact21 -> int14: あのリザベーションは濁さない; int14 -> int15: 「「濁さない」ものはある」ということは本当だ; int15 & fact29 -> int16: その太極符印は狡っ辛くて断り難い; int16 -> int17: その太極符印は狡っ辛い; int13 & int17 -> int18: その太極符印は燃やし続けるしかつ狡っ辛い; int18 -> int19: ある物は燃やし続けるし狡っ辛い;
$facts$ = fact1: もし仮になにがしかのものは保安規程でないなら危なっかしい fact2: 何らかの物が区別し易いとしたら危なっかしい fact3: もしこのエレキギターが狡っ辛いとすればそれは美し fact4: この円柱形は重い fact5: もしもこのエレキギターが美しならばそれは挟み取る fact6: もし仮に「濁さない」ものがあるとすればあの太極符印は狡っ辛くておまけに断り難い fact7: 仮になにがしかの物が危なっかしいなら区別し易いしおまけに美しない fact8: 「このエレキギターは狡っ辛い」ということは本当だ fact9: もし「そのソッカは燃やし続ける」ということは誤りでないとするとその太極符印は燃やし続ける fact10: この円柱形が危なっかしいとするとあの外場は保安規程だ fact11: その別邸は重い fact12: もしもそのソッカがＥＳＣキーだとすればあの太極符印は燃やし続ける fact13: この円柱形が区別し易くないがしかしそれが溜まり易いならばこのエレキギターは美しない fact14: あの両名は伯であるが認め印だということはない fact15: あの外場が保安規程だとすると挟み取る fact16: もしもこのエレキギターが区別し易いけど美しということはないならこの円柱形は溜まり易くない fact17: そのソッカはＥＳＣキーであるか燃やし続けるかどちらもである fact18: 仮に「あるものは重くないけれど溜まり易い」ということは偽であるならばそれは挟み取らない fact19: この円柱形は溜まり易くて重い fact20: もしあの両名が伯であるがしかし認め印でないならあのリザベーションは濁すということはない ; $hypothesis$ = あの外場は挟み取らない ; $proof$ = 
fact19 -> int1: この円柱形は溜まり易い; void -> assump1: 以下のように仮定する。この円柱形は区別し易くない; int1 & assump1 -> int2: この円柱形は区別し易くないけれどそれは溜まり易い; int2 & fact13 -> int3: このエレキギターは美しということはない; fact8 & fact3 -> int4: このエレキギターは美し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この円柱形は区別し易い; fact2 -> int7: もしもこの円柱形が区別し易いとすればそれは危なっかしい; int6 & int7 -> int8: この円柱形は危なっかしい; int8 & fact10 -> int9: あの外場は保安規程である; int9 & fact15 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものは保安規程でないなら危なっかしい
事実2: 何らかの物が区別し易いとしたら危なっかしい
事実3: もしこのエレキギターが狡っ辛いとすればそれは美し
事実4: この円柱形は重い
事実5: もしもこのエレキギターが美しならばそれは挟み取る
事実6: もし仮に「濁さない」ものがあるとすればあの太極符印は狡っ辛くておまけに断り難い
事実7: 仮になにがしかの物が危なっかしいなら区別し易いしおまけに美しない
事実8: 「このエレキギターは狡っ辛い」ということは本当だ
事実9: もし「そのソッカは燃やし続ける」ということは誤りでないとするとその太極符印は燃やし続ける
事実10: この円柱形が危なっかしいとするとあの外場は保安規程だ
事実11: その別邸は重い
事実12: もしもそのソッカがＥＳＣキーだとすればあの太極符印は燃やし続ける
事実13: この円柱形が区別し易くないがしかしそれが溜まり易いならばこのエレキギターは美しない
事実14: あの両名は伯であるが認め印だということはない
事実15: あの外場が保安規程だとすると挟み取る
事実16: もしもこのエレキギターが区別し易いけど美しということはないならこの円柱形は溜まり易くない
事実17: そのソッカはＥＳＣキーであるか燃やし続けるかどちらもである
事実18: 仮に「あるものは重くないけれど溜まり易い」ということは偽であるならばそれは挟み取らない
事実19: この円柱形は溜まり易くて重い
事実20: もしあの両名が伯であるがしかし認め印でないならあのリザベーションは濁すということはない

仮説: あの外場は挟み取らない
1. 事実19から、推論1: "この円柱形は溜まり易い"が導かれる
2. 仮定1: 以下のように仮定する。この円柱形は区別し易くない
3. 推論1と仮定1から、推論2: "この円柱形は区別し易くないけれどそれは溜まり易い"が導かれる
4. 推論2と事実13から、推論3: "このエレキギターは美しということはない"が導かれる
5. 事実8と事実3から、推論4: "このエレキギターは美し"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この円柱形は区別し易い"が導かれる
8. 事実2から、推論7: "もしもこの円柱形が区別し易いとすればそれは危なっかしい"が導かれる
9. 推論6と推論7から、推論8: "この円柱形は危なっかしい"が導かれる
10. 推論8と事実10から、推論9: "あの外場は保安規程である"が導かれる
11. 推論9と事実15から、仮説が否定される

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