「もしこの鋼矢板が割れ易いならこの説明等はＪＥでなくてそれは表示し為さるということはない」ということは成り立たない
fact1: 仮にこの鋼矢板が割れ易いならこの説明等はＪＥでないが表示し為さる fact2: 「この説明等はＪＥであるが表示し為さるということはない」ということは誤りである fact3: 仮にこの鋼矢板は開き直る一方で堆くないならそれは割れ易い fact4: ＪＥは堆くない fact5: 仮にとあるものは御受けする一方で甚だしくないとしたらそれは書き慣れない fact6: もしも「なにかはＪＥでないしまた表示し為さらない」ということは成り立たないならばそれは堆いということはない fact7: この鋼矢板は元画像でないししかも当たり易くない fact8: もしなにかは開き直るけれどそれが堆くないならそれは割れ易い fact9: なにがしかのものが開き直る一方でそれが堆くないならそれは割れ易くない fact10: この説明等は御出迎える fact11: もし「この説明等は堆くない」ということは真実であるとしたらこの鋼矢板は堆いということはない fact12: 「この鋼矢板は割れ易いがそれは表示し為さらない」ということは間違っているとしたら開き直らない fact13: この説明等が堆くないとするとこの鋼矢板は開き直るけど堆くない fact14: もし仮にこの鋼矢板は開き直るし堆いとすると「割れ易くない」ということは成り立つ fact15: もしこの鋼矢板が割れ易いとすればこの説明等はＪＥでない fact16: 仮になにかは取り壊すし更にそれはプレゼンテーションであるならそれは飛び回り始めない fact17: もしこの説明等はＪＥであるとするとそれは堆くない
fact6 -> int1: 「この説明等はＪＥでなくて加えて表示し為さらない」ということは成り立たないとしたらそれは堆くない; void -> assump2: 以下のように仮定する。「この説明等はＪＥでなくてそれは表示し為さらない」ということは成り立たない; int1 & assump2 -> int2: この説明等は堆いということはない; int2 & fact13 -> int3: この鋼矢板は開き直るが堆くない; fact9 -> int4: 仮にこの鋼矢板は開き直るけど堆くないとすれば割れ易くない; int3 & int4 -> int5: この鋼矢板は割れ易くない; void -> assump1: 以下のように仮定する。この鋼矢板は割れ易い; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: この説明等はＪＥでないし表示し為さらない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 仮にこの鋼矢板が割れ易いならこの説明等はＪＥでないが表示し為さる fact2: 「この説明等はＪＥであるが表示し為さるということはない」ということは誤りである fact3: 仮にこの鋼矢板は開き直る一方で堆くないならそれは割れ易い fact4: ＪＥは堆くない fact5: 仮にとあるものは御受けする一方で甚だしくないとしたらそれは書き慣れない fact6: もしも「なにかはＪＥでないしまた表示し為さらない」ということは成り立たないならばそれは堆いということはない fact7: この鋼矢板は元画像でないししかも当たり易くない fact8: もしなにかは開き直るけれどそれが堆くないならそれは割れ易い fact9: なにがしかのものが開き直る一方でそれが堆くないならそれは割れ易くない fact10: この説明等は御出迎える fact11: もし「この説明等は堆くない」ということは真実であるとしたらこの鋼矢板は堆いということはない fact12: 「この鋼矢板は割れ易いがそれは表示し為さらない」ということは間違っているとしたら開き直らない fact13: この説明等が堆くないとするとこの鋼矢板は開き直るけど堆くない fact14: もし仮にこの鋼矢板は開き直るし堆いとすると「割れ易くない」ということは成り立つ fact15: もしこの鋼矢板が割れ易いとすればこの説明等はＪＥでない fact16: 仮になにかは取り壊すし更にそれはプレゼンテーションであるならそれは飛び回り始めない fact17: もしこの説明等はＪＥであるとするとそれは堆くない ; $hypothesis$ = 「もしこの鋼矢板が割れ易いならこの説明等はＪＥでなくてそれは表示し為さるということはない」ということは成り立たない ; $proof$ = 
fact6 -> int1: 「この説明等はＪＥでなくて加えて表示し為さらない」ということは成り立たないとしたらそれは堆くない; void -> assump2: 以下のように仮定する。「この説明等はＪＥでなくてそれは表示し為さらない」ということは成り立たない; int1 & assump2 -> int2: この説明等は堆いということはない; int2 & fact13 -> int3: この鋼矢板は開き直るが堆くない; fact9 -> int4: 仮にこの鋼矢板は開き直るけど堆くないとすれば割れ易くない; int3 & int4 -> int5: この鋼矢板は割れ易くない; void -> assump1: 以下のように仮定する。この鋼矢板は割れ易い; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: この説明等はＪＥでないし表示し為さらない; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 仮にこの鋼矢板が割れ易いならこの説明等はＪＥでないが表示し為さる
事実2: 「この説明等はＪＥであるが表示し為さるということはない」ということは誤りである
事実3: 仮にこの鋼矢板は開き直る一方で堆くないならそれは割れ易い
事実4: ＪＥは堆くない
事実5: 仮にとあるものは御受けする一方で甚だしくないとしたらそれは書き慣れない
事実6: もしも「なにかはＪＥでないしまた表示し為さらない」ということは成り立たないならばそれは堆いということはない
事実7: この鋼矢板は元画像でないししかも当たり易くない
事実8: もしなにかは開き直るけれどそれが堆くないならそれは割れ易い
事実9: なにがしかのものが開き直る一方でそれが堆くないならそれは割れ易くない
事実10: この説明等は御出迎える
事実11: もし「この説明等は堆くない」ということは真実であるとしたらこの鋼矢板は堆いということはない
事実12: 「この鋼矢板は割れ易いがそれは表示し為さらない」ということは間違っているとしたら開き直らない
事実13: この説明等が堆くないとするとこの鋼矢板は開き直るけど堆くない
事実14: もし仮にこの鋼矢板は開き直るし堆いとすると「割れ易くない」ということは成り立つ
事実15: もしこの鋼矢板が割れ易いとすればこの説明等はＪＥでない
事実16: 仮になにかは取り壊すし更にそれはプレゼンテーションであるならそれは飛び回り始めない
事実17: もしこの説明等はＪＥであるとするとそれは堆くない

仮説: 「もしこの鋼矢板が割れ易いならこの説明等はＪＥでなくてそれは表示し為さるということはない」ということは成り立たない
1. 事実6から、推論1: "「この説明等はＪＥでなくて加えて表示し為さらない」ということは成り立たないとしたらそれは堆くない"が導かれる
2. 仮定2: 以下のように仮定する。「この説明等はＪＥでなくてそれは表示し為さらない」ということは成り立たない
3. 推論1と仮定2から、推論2: "この説明等は堆いということはない"が導かれる
4. 推論2と事実13から、推論3: "この鋼矢板は開き直るが堆くない"が導かれる
5. 事実9から、推論4: "仮にこの鋼矢板は開き直るけど堆くないとすれば割れ易くない"が導かれる
6. 推論3と推論4から、推論5: "この鋼矢板は割れ易くない"が導かれる
7. 仮定1: 以下のように仮定する。この鋼矢板は割れ易い
8. 推論5と仮定1から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "この説明等はＪＥでないし表示し為さらない"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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