「もしこの直接が弛いということはないならばあの冬場は熱し易くない」ということは間違いである
fact1: 仮にあの冬場は弛くないとすると「この直接は店子であるがしかし熱し易くない」ということは成り立たない fact2: 仮にこの直接が弛くないならあの冬場は熱し易い fact3: 寓話は熱し易くない fact4: 仮に「あの冬場は寓話でないしさらにそれは店子でない」ということは成り立たないとすると熱し易い fact5: もしも「なにがしかのものは寓話でなくて店子でない」ということは嘘であるならそれは熱し易くない fact6: もしも「あるものは寓話でないし店子でない」ということは誤りであるとすればそれは熱し易い fact7: この直接は弛くないならば「あの冬場は寓話でないしそれは店子でない」ということは事実と異なる fact8: もし仮にあの冬場は寓話であるとすればそれは熱し易くない fact9: 仮にこの直接は弛くないとすれば「あの冬場は寓話であるがしかしそれは店子でない」ということは成り立たない fact10: もし仮に「この直接は店子であるということはなくてそれにそれは熱し易いということはない」ということは成り立たないならばそれは弛い fact11: あの冬場は熱し易い fact12: 「あの冬場は寓話だけど店子でない」ということは誤りである
void -> assump1: 以下のように仮定する。この直接は弛いということはない; fact7 & assump1 -> int1: 「「あの冬場は寓話でなくて更に店子でない」ということは成り立つ」ということは成り立たない; fact5 -> int2: 「あの冬場は寓話でないしそれは店子でない」ということは成り立たないとすればそれは熱し易くない; int1 & int2 -> int3: あの冬場は熱し易くない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にあの冬場は弛くないとすると「この直接は店子であるがしかし熱し易くない」ということは成り立たない fact2: 仮にこの直接が弛くないならあの冬場は熱し易い fact3: 寓話は熱し易くない fact4: 仮に「あの冬場は寓話でないしさらにそれは店子でない」ということは成り立たないとすると熱し易い fact5: もしも「なにがしかのものは寓話でなくて店子でない」ということは嘘であるならそれは熱し易くない fact6: もしも「あるものは寓話でないし店子でない」ということは誤りであるとすればそれは熱し易い fact7: この直接は弛くないならば「あの冬場は寓話でないしそれは店子でない」ということは事実と異なる fact8: もし仮にあの冬場は寓話であるとすればそれは熱し易くない fact9: 仮にこの直接は弛くないとすれば「あの冬場は寓話であるがしかしそれは店子でない」ということは成り立たない fact10: もし仮に「この直接は店子であるということはなくてそれにそれは熱し易いということはない」ということは成り立たないならばそれは弛い fact11: あの冬場は熱し易い fact12: 「あの冬場は寓話だけど店子でない」ということは誤りである ; $hypothesis$ = 「もしこの直接が弛いということはないならばあの冬場は熱し易くない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この直接は弛いということはない; fact7 & assump1 -> int1: 「「あの冬場は寓話でなくて更に店子でない」ということは成り立つ」ということは成り立たない; fact5 -> int2: 「あの冬場は寓話でないしそれは店子でない」ということは成り立たないとすればそれは熱し易くない; int1 & int2 -> int3: あの冬場は熱し易くない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの冬場は弛くないとすると「この直接は店子であるがしかし熱し易くない」ということは成り立たない
事実2: 仮にこの直接が弛くないならあの冬場は熱し易い
事実3: 寓話は熱し易くない
事実4: 仮に「あの冬場は寓話でないしさらにそれは店子でない」ということは成り立たないとすると熱し易い
事実5: もしも「なにがしかのものは寓話でなくて店子でない」ということは嘘であるならそれは熱し易くない
事実6: もしも「あるものは寓話でないし店子でない」ということは誤りであるとすればそれは熱し易い
事実7: この直接は弛くないならば「あの冬場は寓話でないしそれは店子でない」ということは事実と異なる
事実8: もし仮にあの冬場は寓話であるとすればそれは熱し易くない
事実9: 仮にこの直接は弛くないとすれば「あの冬場は寓話であるがしかしそれは店子でない」ということは成り立たない
事実10: もし仮に「この直接は店子であるということはなくてそれにそれは熱し易いということはない」ということは成り立たないならばそれは弛い
事実11: あの冬場は熱し易い
事実12: 「あの冬場は寓話だけど店子でない」ということは誤りである

仮説: 「もしこの直接が弛いということはないならばあの冬場は熱し易くない」ということは間違いである
1. 仮定1: 以下のように仮定する。この直接は弛いということはない
2. 事実7と仮定1から、推論1: "「「あの冬場は寓話でなくて更に店子でない」ということは成り立つ」ということは成り立たない"が導かれる
3. 事実5から、推論2: "「あの冬場は寓話でないしそれは店子でない」ということは成り立たないとすればそれは熱し易くない"が導かれる
4. 推論1と推論2から、推論3: "あの冬場は熱し易くない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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