あのＪＲＴＣはビルトインするということはないが壊れ難い
fact1: 仮にあのＪＲＴＣはビルトインしないけど壊れ難いならばそれは言い易くない fact2: 仮にこの機械語が存しないならこのショートケーキは調べ上げるということはない fact3: 仮になんらかのものは調べ上げるということはないが珍説だとしたら心許ない fact4: その解剖実習は調べ上げる fact5: 「あのＪＲＴＣはへぼでないしかつ実現化でない」ということは成り立たない fact6: もし仮になにがしかのものが存するとすればそれは根強くないけど壊れ難い fact7: もし仮に「何かはへぼでなくて更にそれは実現化でない」ということは誤りであるならそれは超能力でない fact8: それは言い易くて存するというものはない fact9: もしあのＪＲＴＣが言い易いということはないならこの機械語は存するということはないか心許なくないか両方だ fact10: このショートケーキは調べ上げる fact11: 「あのＪＲＴＣは存しない一方でそれはビルトインする」ということは成り立たない fact12: 仮に「あのＪＲＴＣは超能力でない」ということは真実だとすればそれは調べ上げるということはないがしかし珍説だ fact13: もし仮にこの機械語が心許なくないとしたらこのショートケーキは調べ上げない fact14: この機械語は先代ペンテコスト卿でない一方で耐え抜く
void -> assump1: 以下のように仮定する。あのＪＲＴＣはビルトインしない一方で壊れ難い; fact1 & assump1 -> int1: あのＪＲＴＣは言い易くない; int1 & fact9 -> int2: この機械語は存するということはないかあるいは心許なくないかまたは両方ともだ; int2 & fact2 & fact13 -> int3: このショートケーキは調べ上げるということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの山背国は根強くない一方で壊れ難い
fact17 -> int5: もし仮にあの山背国が存するとしたらそれは根強くないしその上それは壊れ難い; fact19 -> int6: あのＪＲＴＣは調べ上げないがしかし珍説だとすれば心許ない; fact18 -> int7: もし仮に「あのＪＲＴＣはへぼでないしおまけに実現化でない」ということは誤りだとしたらそれは超能力でない; int7 & fact16 -> int8: あのＪＲＴＣは超能力でない; fact15 & int8 -> int9: あのＪＲＴＣは調べ上げないけど珍説である; int6 & int9 -> int10: あのＪＲＴＣは心許ない; int10 -> int11: 「心許ない」ものはある;
$facts$ = fact1: 仮にあのＪＲＴＣはビルトインしないけど壊れ難いならばそれは言い易くない fact2: 仮にこの機械語が存しないならこのショートケーキは調べ上げるということはない fact3: 仮になんらかのものは調べ上げるということはないが珍説だとしたら心許ない fact4: その解剖実習は調べ上げる fact5: 「あのＪＲＴＣはへぼでないしかつ実現化でない」ということは成り立たない fact6: もし仮になにがしかのものが存するとすればそれは根強くないけど壊れ難い fact7: もし仮に「何かはへぼでなくて更にそれは実現化でない」ということは誤りであるならそれは超能力でない fact8: それは言い易くて存するというものはない fact9: もしあのＪＲＴＣが言い易いということはないならこの機械語は存するということはないか心許なくないか両方だ fact10: このショートケーキは調べ上げる fact11: 「あのＪＲＴＣは存しない一方でそれはビルトインする」ということは成り立たない fact12: 仮に「あのＪＲＴＣは超能力でない」ということは真実だとすればそれは調べ上げるということはないがしかし珍説だ fact13: もし仮にこの機械語が心許なくないとしたらこのショートケーキは調べ上げない fact14: この機械語は先代ペンテコスト卿でない一方で耐え抜く ; $hypothesis$ = あのＪＲＴＣはビルトインするということはないが壊れ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＪＲＴＣはビルトインしない一方で壊れ難い; fact1 & assump1 -> int1: あのＪＲＴＣは言い易くない; int1 & fact9 -> int2: この機械語は存するということはないかあるいは心許なくないかまたは両方ともだ; int2 & fact2 & fact13 -> int3: このショートケーキは調べ上げるということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 仮にあのＪＲＴＣはビルトインしないけど壊れ難いならばそれは言い易くない
事実2: 仮にこの機械語が存しないならこのショートケーキは調べ上げるということはない
事実3: 仮になんらかのものは調べ上げるということはないが珍説だとしたら心許ない
事実4: その解剖実習は調べ上げる
事実5: 「あのＪＲＴＣはへぼでないしかつ実現化でない」ということは成り立たない
事実6: もし仮になにがしかのものが存するとすればそれは根強くないけど壊れ難い
事実7: もし仮に「何かはへぼでなくて更にそれは実現化でない」ということは誤りであるならそれは超能力でない
事実8: それは言い易くて存するというものはない
事実9: もしあのＪＲＴＣが言い易いということはないならこの機械語は存するということはないか心許なくないか両方だ
事実10: このショートケーキは調べ上げる
事実11: 「あのＪＲＴＣは存しない一方でそれはビルトインする」ということは成り立たない
事実12: 仮に「あのＪＲＴＣは超能力でない」ということは真実だとすればそれは調べ上げるということはないがしかし珍説だ
事実13: もし仮にこの機械語が心許なくないとしたらこのショートケーキは調べ上げない
事実14: この機械語は先代ペンテコスト卿でない一方で耐え抜く

仮説: あのＪＲＴＣはビルトインするということはないが壊れ難い
1. 仮定1: 以下のように仮定する。あのＪＲＴＣはビルトインしない一方で壊れ難い
2. 事実1と仮定1から、推論1: "あのＪＲＴＣは言い易くない"が導かれる
3. 推論1と事実9から、推論2: "この機械語は存するということはないかあるいは心許なくないかまたは両方ともだ"が導かれる
4. 推論2と事実2と事実13から、推論3: "このショートケーキは調べ上げるということはない"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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