この全繊同盟は協力し合う
fact1: そのメンソレータムは申候う fact2: あの稿は反応し易くないがぼやくなら出獄しない fact3: 「あの稿は反応し易いがしかしぼやかない」ということは偽だ fact4: もし仮になにがしかのものが出獄しないとすると薄汚いか協力し合わない fact5: もし仮になんらかのものは薄汚いか協力し合わないなら「協力し合わない」ということは嘘でない fact6: この全繊同盟は申候う fact7: あの稿は破顔するということはない一方でそれは少な過ぎる fact8: もしあの稿は反応し易くないし加えてぼやかないとすると出獄しない fact9: もしもそのメンソレータムが破顔するとしたらこの全繊同盟は協力し合う fact10: あの稿は出獄するししかもそれは少な過ぎる fact11: もしも「あの稿は反応し易いということはなくてそれはぼやかない」ということは成り立たないとしたらあのアルミフェンスは薄汚くない fact12: もしもあのアルミフェンスが薄汚くないならそのメンソレータムは破顔するしさらに申候う
void -> assump1: 以下のように仮定する。あの稿は反応し易くないしぼやかない; fact8 & assump1 -> int1: あの稿は出獄するということはない; fact10 -> int2: あの稿は出獄する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの稿は反応し易くないし加えてそれはぼやくということはない」ということは間違いである; int4 & fact11 -> int5: あのアルミフェンスは薄汚くない; int5 & fact12 -> int6: そのメンソレータムは破顔するしそれは申候う; int6 -> int7: そのメンソレータムは破顔する; int7 & fact9 -> hypothesis;
この全繊同盟は協力し合わない
fact13 -> int8: もし仮にこの全繊同盟は薄汚いか協力し合わないかあるいは両方であるなら協力し合うということはない; fact14 -> int9: この全繊同盟が出獄しないとしたら薄汚いか協力し合わないかもしくは両方である; fact15 -> int10: あの稿は破顔するということはない; int10 -> int11: 「破顔しない」物はある;
$facts$ = fact1: そのメンソレータムは申候う fact2: あの稿は反応し易くないがぼやくなら出獄しない fact3: 「あの稿は反応し易いがしかしぼやかない」ということは偽だ fact4: もし仮になにがしかのものが出獄しないとすると薄汚いか協力し合わない fact5: もし仮になんらかのものは薄汚いか協力し合わないなら「協力し合わない」ということは嘘でない fact6: この全繊同盟は申候う fact7: あの稿は破顔するということはない一方でそれは少な過ぎる fact8: もしあの稿は反応し易くないし加えてぼやかないとすると出獄しない fact9: もしもそのメンソレータムが破顔するとしたらこの全繊同盟は協力し合う fact10: あの稿は出獄するししかもそれは少な過ぎる fact11: もしも「あの稿は反応し易いということはなくてそれはぼやかない」ということは成り立たないとしたらあのアルミフェンスは薄汚くない fact12: もしもあのアルミフェンスが薄汚くないならそのメンソレータムは破顔するしさらに申候う ; $hypothesis$ = この全繊同盟は協力し合う ; $proof$ = 
void -> assump1: 以下のように仮定する。あの稿は反応し易くないしぼやかない; fact8 & assump1 -> int1: あの稿は出獄するということはない; fact10 -> int2: あの稿は出獄する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの稿は反応し易くないし加えてそれはぼやくということはない」ということは間違いである; int4 & fact11 -> int5: あのアルミフェンスは薄汚くない; int5 & fact12 -> int6: そのメンソレータムは破顔するしそれは申候う; int6 -> int7: そのメンソレータムは破顔する; int7 & fact9 -> hypothesis; __PROVED__
事実1: そのメンソレータムは申候う
事実2: あの稿は反応し易くないがぼやくなら出獄しない
事実3: 「あの稿は反応し易いがしかしぼやかない」ということは偽だ
事実4: もし仮になにがしかのものが出獄しないとすると薄汚いか協力し合わない
事実5: もし仮になんらかのものは薄汚いか協力し合わないなら「協力し合わない」ということは嘘でない
事実6: この全繊同盟は申候う
事実7: あの稿は破顔するということはない一方でそれは少な過ぎる
事実8: もしあの稿は反応し易くないし加えてぼやかないとすると出獄しない
事実9: もしもそのメンソレータムが破顔するとしたらこの全繊同盟は協力し合う
事実10: あの稿は出獄するししかもそれは少な過ぎる
事実11: もしも「あの稿は反応し易いということはなくてそれはぼやかない」ということは成り立たないとしたらあのアルミフェンスは薄汚くない
事実12: もしもあのアルミフェンスが薄汚くないならそのメンソレータムは破顔するしさらに申候う

仮説: この全繊同盟は協力し合う
1. 仮定1: 以下のように仮定する。あの稿は反応し易くないしぼやかない
2. 事実8と仮定1から、推論1: "あの稿は出獄するということはない"が導かれる
3. 事実10から、推論2: "あの稿は出獄する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの稿は反応し易くないし加えてそれはぼやくということはない」ということは間違いである"が導かれる
6. 推論4と事実11から、推論5: "あのアルミフェンスは薄汚くない"が導かれる
7. 推論5と事実12から、推論6: "そのメンソレータムは破顔するしそれは申候う"が導かれる
8. 推論6から、推論7: "そのメンソレータムは破顔する"が導かれる
9. 推論7と事実9から、仮説が導かれる

よって、仮説が証明されました。