「その鯣烏賊卵塊は飲み易くないしその上それはレフォールでない」ということは偽である
fact1: もしもその先進国企業はレフォールでないなら「その鯣烏賊卵塊は飲み易くないし更にレフォールでない」ということは事実と異なる fact2: もしあの窓越しが鱶鰭スープでないかもしくはそれが近付き易いか両方ともであるとするとその先進国企業は話し難くない fact3: その先進国企業はトラウベである fact4: あの窓越しは飲み易いかまたはそれは近付き易いか両方である fact5: もしもその先進国企業はトラウベであるけれど話し難くないならばレフォールでない fact6: あの窓越しがレフォールでないならその先進国企業は近付き易いかあるいは鱶鰭スープである fact7: あの窓越しは話し難くない fact8: 「あの窓越しはレフォールだということはないし加えて近付き易いということはない」ということは嘘だ fact9: 「この男女は絶え間無いかもしくは洋食器でないかまたは両方である」ということは成り立たない fact10: この男女はトラウベでない fact11: もし仮にあの窓越しが選進しないとすればこの男女は絶え間無いかまたは洋食器でない fact12: もし「その先進国企業は飲み易いということはない」ということは成り立てばその鯣烏賊卵塊は話し難くない fact13: 仮に「その先進国企業は近付き易い」ということは誤りだということはないとするとレフォールでないかもしくはそれは飲み易いかあるいは両方だ fact14: もし仮に「その先進国企業は選進する」ということは確かだとすればそれはレフォールであるかあるいはそれは話し難いかもしくは両方だ fact15: 「その先進国企業は祝祭日であるかまたはそれは洋食器でないかあるいはどちらもだ」ということは成り立たない fact16: もしも「この男女は選進する一方でレフォールでない」ということは事実と異なるならその鯣烏賊卵塊はレフォールでない fact17: もしあの窓越しが近付き易いならばあの先進国企業は話し難くない fact18: あの窓越しが選進するとしたらそれは鱶鰭スープでないかまたは近付き易いかあるいはどちらもである fact19: 「その先進国企業が鱶鰭スープだということはないしさらにそれは話し難くない」ということは間違っている fact20: その先進国企業は話し難いかまたは鱶鰭スープであるかもしくは両方である
void -> assump1: 以下のように仮定する。あの窓越しは選進しない; fact11 & assump1 -> int1: この男女は絶え間無いかもしくは洋食器でないかまたは両方だ; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの窓越しは選進する; int3 & fact18 -> int4: あの窓越しは鱶鰭スープでないかまたはそれは近付き易い; int4 & fact2 -> int5: その先進国企業は話し難くない; int5 & fact3 -> int6: その先進国企業はトラウベだがしかし話し難くない; int6 & fact5 -> int7: その先進国企業はレフォールでない; int7 & fact1 -> hypothesis;
その鯣烏賊卵塊は飲み易くないし更にレフォールでない
$facts$ = fact1: もしもその先進国企業はレフォールでないなら「その鯣烏賊卵塊は飲み易くないし更にレフォールでない」ということは事実と異なる fact2: もしあの窓越しが鱶鰭スープでないかもしくはそれが近付き易いか両方ともであるとするとその先進国企業は話し難くない fact3: その先進国企業はトラウベである fact4: あの窓越しは飲み易いかまたはそれは近付き易いか両方である fact5: もしもその先進国企業はトラウベであるけれど話し難くないならばレフォールでない fact6: あの窓越しがレフォールでないならその先進国企業は近付き易いかあるいは鱶鰭スープである fact7: あの窓越しは話し難くない fact8: 「あの窓越しはレフォールだということはないし加えて近付き易いということはない」ということは嘘だ fact9: 「この男女は絶え間無いかもしくは洋食器でないかまたは両方である」ということは成り立たない fact10: この男女はトラウベでない fact11: もし仮にあの窓越しが選進しないとすればこの男女は絶え間無いかまたは洋食器でない fact12: もし「その先進国企業は飲み易いということはない」ということは成り立てばその鯣烏賊卵塊は話し難くない fact13: 仮に「その先進国企業は近付き易い」ということは誤りだということはないとするとレフォールでないかもしくはそれは飲み易いかあるいは両方だ fact14: もし仮に「その先進国企業は選進する」ということは確かだとすればそれはレフォールであるかあるいはそれは話し難いかもしくは両方だ fact15: 「その先進国企業は祝祭日であるかまたはそれは洋食器でないかあるいはどちらもだ」ということは成り立たない fact16: もしも「この男女は選進する一方でレフォールでない」ということは事実と異なるならその鯣烏賊卵塊はレフォールでない fact17: もしあの窓越しが近付き易いならばあの先進国企業は話し難くない fact18: あの窓越しが選進するとしたらそれは鱶鰭スープでないかまたは近付き易いかあるいはどちらもである fact19: 「その先進国企業が鱶鰭スープだということはないしさらにそれは話し難くない」ということは間違っている fact20: その先進国企業は話し難いかまたは鱶鰭スープであるかもしくは両方である ; $hypothesis$ = 「その鯣烏賊卵塊は飲み易くないしその上それはレフォールでない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの窓越しは選進しない; fact11 & assump1 -> int1: この男女は絶え間無いかもしくは洋食器でないかまたは両方だ; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの窓越しは選進する; int3 & fact18 -> int4: あの窓越しは鱶鰭スープでないかまたはそれは近付き易い; int4 & fact2 -> int5: その先進国企業は話し難くない; int5 & fact3 -> int6: その先進国企業はトラウベだがしかし話し難くない; int6 & fact5 -> int7: その先進国企業はレフォールでない; int7 & fact1 -> hypothesis; __PROVED__
事実1: もしもその先進国企業はレフォールでないなら「その鯣烏賊卵塊は飲み易くないし更にレフォールでない」ということは事実と異なる
事実2: もしあの窓越しが鱶鰭スープでないかもしくはそれが近付き易いか両方ともであるとするとその先進国企業は話し難くない
事実3: その先進国企業はトラウベである
事実4: あの窓越しは飲み易いかまたはそれは近付き易いか両方である
事実5: もしもその先進国企業はトラウベであるけれど話し難くないならばレフォールでない
事実6: あの窓越しがレフォールでないならその先進国企業は近付き易いかあるいは鱶鰭スープである
事実7: あの窓越しは話し難くない
事実8: 「あの窓越しはレフォールだということはないし加えて近付き易いということはない」ということは嘘だ
事実9: 「この男女は絶え間無いかもしくは洋食器でないかまたは両方である」ということは成り立たない
事実10: この男女はトラウベでない
事実11: もし仮にあの窓越しが選進しないとすればこの男女は絶え間無いかまたは洋食器でない
事実12: もし「その先進国企業は飲み易いということはない」ということは成り立てばその鯣烏賊卵塊は話し難くない
事実13: 仮に「その先進国企業は近付き易い」ということは誤りだということはないとするとレフォールでないかもしくはそれは飲み易いかあるいは両方だ
事実14: もし仮に「その先進国企業は選進する」ということは確かだとすればそれはレフォールであるかあるいはそれは話し難いかもしくは両方だ
事実15: 「その先進国企業は祝祭日であるかまたはそれは洋食器でないかあるいはどちらもだ」ということは成り立たない
事実16: もしも「この男女は選進する一方でレフォールでない」ということは事実と異なるならその鯣烏賊卵塊はレフォールでない
事実17: もしあの窓越しが近付き易いならばあの先進国企業は話し難くない
事実18: あの窓越しが選進するとしたらそれは鱶鰭スープでないかまたは近付き易いかあるいはどちらもである
事実19: 「その先進国企業が鱶鰭スープだということはないしさらにそれは話し難くない」ということは間違っている
事実20: その先進国企業は話し難いかまたは鱶鰭スープであるかもしくは両方である

仮説: 「その鯣烏賊卵塊は飲み易くないしその上それはレフォールでない」ということは偽である
1. 仮定1: 以下のように仮定する。あの窓越しは選進しない
2. 事実11と仮定1から、推論1: "この男女は絶え間無いかもしくは洋食器でないかまたは両方だ"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの窓越しは選進する"が導かれる
5. 推論3と事実18から、推論4: "あの窓越しは鱶鰭スープでないかまたはそれは近付き易い"が導かれる
6. 推論4と事実2から、推論5: "その先進国企業は話し難くない"が導かれる
7. 推論5と事実3から、推論6: "その先進国企業はトラウベだがしかし話し難くない"が導かれる
8. 推論6と事実5から、推論7: "その先進国企業はレフォールでない"が導かれる
9. 推論7と事実1から、仮説が導かれる

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