「もしもあの舞子が聞き取り易いならばあの舞子は逃れ難い」ということは誤りだ
fact1: もしもなんらかのものは風化しないなら「聞き取り易くない一方で逃れ難い」ということは事実と異なる fact2: もし仮にあの舞子がプラネットでないしそれが掛け易くないとすればそれは聞き取り易い fact3: 仮にあの舞子がプラネットだということはないけれど掛け易いならそれは聞き取り易くない fact4: 「あの舞子はプラネットだけど掛け易くない」ということは成り立たない fact5: もし仮に「なんらかのものは嬉しくなくて加えて受け入れ易いということはない」ということは成り立たないならば肌寒い fact6: この子宮頸癌は掛け易い fact7: 仮にとあるものは飼育しないとすると「片棒であるし更に取り沙汰しない」ということは偽である fact8: もしもその重症児は上り坂であるとするとマネーサプライだ fact9: 「あのＥＬＴは聞き取り易くないけど逃れ難い」ということは間違っているとしたらあの舞子はっ早くない fact10: もしも「あの舞子は危うしということはなくて利かない」ということは成り立たないとするとそれは逃れ難い fact11: 仮にあの舞子がプラネットであるがしかし掛け易くないとすれば「聞き取り易い」ということは誤りだ fact12: あの眼色は聞き取り易い fact13: 「あの舞子はプラネットでないけど掛け易い」ということは間違っている fact14: その中心視は優し fact15: もし「なんらかのものはプラネットでなくてその上掛け易くない」ということは誤りであるなら逃れ難い fact16: もしもあの舞子はプラネットでないしそれに掛け易くないなら聞き取り易くない
void -> assump1: 以下のように仮定する。あの舞子はプラネットでなくて掛け易くない; fact16 & assump1 -> int1: あの舞子は聞き取り易くない; void -> assump2: 以下のように仮定する。あの舞子は聞き取り易い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの舞子はプラネットでなくてかつそれは掛け易くない」ということは成り立たない; fact15 -> int4: 仮に「あの舞子はプラネットでないしさらに掛け易くない」ということは成り立つということはないならば逃れ難い; int3 & int4 -> int5: あの舞子は逃れ難い; [assump2] & int5 -> hypothesis;
あの舞子はっ早くない
fact20 -> int6: もし仮にあのＥＬＴは風化するということはないとすれば「それは聞き取り易くないしまた逃れ難い」ということは成り立たない; fact19 -> int7: もしその障害者支援施設は飼育しないとすれば「それは片棒であるがしかし取り沙汰しない」ということは偽だ; fact17 -> int8: 優し物はある;
$facts$ = fact1: もしもなんらかのものは風化しないなら「聞き取り易くない一方で逃れ難い」ということは事実と異なる fact2: もし仮にあの舞子がプラネットでないしそれが掛け易くないとすればそれは聞き取り易い fact3: 仮にあの舞子がプラネットだということはないけれど掛け易いならそれは聞き取り易くない fact4: 「あの舞子はプラネットだけど掛け易くない」ということは成り立たない fact5: もし仮に「なんらかのものは嬉しくなくて加えて受け入れ易いということはない」ということは成り立たないならば肌寒い fact6: この子宮頸癌は掛け易い fact7: 仮にとあるものは飼育しないとすると「片棒であるし更に取り沙汰しない」ということは偽である fact8: もしもその重症児は上り坂であるとするとマネーサプライだ fact9: 「あのＥＬＴは聞き取り易くないけど逃れ難い」ということは間違っているとしたらあの舞子はっ早くない fact10: もしも「あの舞子は危うしということはなくて利かない」ということは成り立たないとするとそれは逃れ難い fact11: 仮にあの舞子がプラネットであるがしかし掛け易くないとすれば「聞き取り易い」ということは誤りだ fact12: あの眼色は聞き取り易い fact13: 「あの舞子はプラネットでないけど掛け易い」ということは間違っている fact14: その中心視は優し fact15: もし「なんらかのものはプラネットでなくてその上掛け易くない」ということは誤りであるなら逃れ難い fact16: もしもあの舞子はプラネットでないしそれに掛け易くないなら聞き取り易くない ; $hypothesis$ = 「もしもあの舞子が聞き取り易いならばあの舞子は逃れ難い」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの舞子はプラネットでなくて掛け易くない; fact16 & assump1 -> int1: あの舞子は聞き取り易くない; void -> assump2: 以下のように仮定する。あの舞子は聞き取り易い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの舞子はプラネットでなくてかつそれは掛け易くない」ということは成り立たない; fact15 -> int4: 仮に「あの舞子はプラネットでないしさらに掛け易くない」ということは成り立つということはないならば逃れ難い; int3 & int4 -> int5: あの舞子は逃れ難い; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは風化しないなら「聞き取り易くない一方で逃れ難い」ということは事実と異なる
事実2: もし仮にあの舞子がプラネットでないしそれが掛け易くないとすればそれは聞き取り易い
事実3: 仮にあの舞子がプラネットだということはないけれど掛け易いならそれは聞き取り易くない
事実4: 「あの舞子はプラネットだけど掛け易くない」ということは成り立たない
事実5: もし仮に「なんらかのものは嬉しくなくて加えて受け入れ易いということはない」ということは成り立たないならば肌寒い
事実6: この子宮頸癌は掛け易い
事実7: 仮にとあるものは飼育しないとすると「片棒であるし更に取り沙汰しない」ということは偽である
事実8: もしもその重症児は上り坂であるとするとマネーサプライだ
事実9: 「あのＥＬＴは聞き取り易くないけど逃れ難い」ということは間違っているとしたらあの舞子はっ早くない
事実10: もしも「あの舞子は危うしということはなくて利かない」ということは成り立たないとするとそれは逃れ難い
事実11: 仮にあの舞子がプラネットであるがしかし掛け易くないとすれば「聞き取り易い」ということは誤りだ
事実12: あの眼色は聞き取り易い
事実13: 「あの舞子はプラネットでないけど掛け易い」ということは間違っている
事実14: その中心視は優し
事実15: もし「なんらかのものはプラネットでなくてその上掛け易くない」ということは誤りであるなら逃れ難い
事実16: もしもあの舞子はプラネットでないしそれに掛け易くないなら聞き取り易くない

仮説: 「もしもあの舞子が聞き取り易いならばあの舞子は逃れ難い」ということは誤りだ
1. 仮定1: 以下のように仮定する。あの舞子はプラネットでなくて掛け易くない
2. 事実16と仮定1から、推論1: "あの舞子は聞き取り易くない"が導かれる
3. 仮定2: 以下のように仮定する。あの舞子は聞き取り易い
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「あの舞子はプラネットでなくてかつそれは掛け易くない」ということは成り立たない"が導かれる
6. 事実15から、推論4: "仮に「あの舞子はプラネットでないしさらに掛け易くない」ということは成り立つということはないならば逃れ難い"が導かれる
7. 推論3と推論4から、推論5: "あの舞子は逃れ難い"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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