そのフレンチドアは出し為さらないしさらに再読しない
fact1: もし仮に「そのテールレンズは吸い付かないがそれは無理難題である」ということは成り立たないとしたらそれは脂っぽくない fact2: もし仮にその占居部位は無理難題であるなら「そのテールレンズは吸い付かないけど無理難題である」ということは誤りだ fact3: もしもなんらかの物が聞き取り易いかそれは挿図でないかもしくは両方であるならそれは無理難題だ fact4: もし何かは再読すればそれは心弱いかあるいはそれは真葛であるということはないかまたはどちらもである fact5: もし仮にそのテールレンズが脂っぽくないなら真葛だ fact6: その占居部位は聞き取り易いかそれは挿図でないかもしくは両方ともだ fact7: もしそのテールレンズが脂っぽいならこの社員全員は脂っぽくない fact8: もしもこの社員全員が心弱いならばそのフレンチドアは出し為さらなくてその上再読しない fact9: もしもそのテールレンズが真葛だとすればあの社員全員は心弱い fact10: 「もし仮に「とある物は無理難題でかつ吸い付く」ということは誤りだとすると吸い付かない」ということは成り立つ fact11: もし仮にとあるものは脂っぽくないなら「それは無理難題だし吸い付く」ということは誤りだ fact12: 「もし仮にある物は吸い付くとしたら「出し為さらないし再読しない」ということは嘘である」ということは真実だ fact13: もしこの社員全員が心弱いとすればあのフレンチドアは出し為さらない
fact3 -> int1: 仮にその占居部位が聞き取り易いかそれは挿図でないかどちらもだとしたらそれは無理難題である; int1 & fact6 -> int2: その占居部位は無理難題である; int2 & fact2 -> int3: 「そのテールレンズは吸い付くということはないが無理難題である」ということは嘘だ; int3 & fact1 -> int4: そのテールレンズは脂っぽくない; int4 & fact5 -> int5: そのテールレンズは真葛である; int5 & fact9 -> int6: この社員全員は心弱い; int6 & fact8 -> hypothesis;
この社員全員は吸い付かない
fact15 -> int7: もし「この社員全員は無理難題でまた吸い付く」ということは成り立たないとしたら吸い付かない; fact14 -> int8: もしもこの社員全員は脂っぽくないとすると「それは無理難題でそれは吸い付く」ということは成り立たない; fact16 -> int9: 仮に「そのテールレンズは再読する」ということは成り立つとしたら心弱いか真葛でないかまたは両方である;
$facts$ = fact1: もし仮に「そのテールレンズは吸い付かないがそれは無理難題である」ということは成り立たないとしたらそれは脂っぽくない fact2: もし仮にその占居部位は無理難題であるなら「そのテールレンズは吸い付かないけど無理難題である」ということは誤りだ fact3: もしもなんらかの物が聞き取り易いかそれは挿図でないかもしくは両方であるならそれは無理難題だ fact4: もし何かは再読すればそれは心弱いかあるいはそれは真葛であるということはないかまたはどちらもである fact5: もし仮にそのテールレンズが脂っぽくないなら真葛だ fact6: その占居部位は聞き取り易いかそれは挿図でないかもしくは両方ともだ fact7: もしそのテールレンズが脂っぽいならこの社員全員は脂っぽくない fact8: もしもこの社員全員が心弱いならばそのフレンチドアは出し為さらなくてその上再読しない fact9: もしもそのテールレンズが真葛だとすればあの社員全員は心弱い fact10: 「もし仮に「とある物は無理難題でかつ吸い付く」ということは誤りだとすると吸い付かない」ということは成り立つ fact11: もし仮にとあるものは脂っぽくないなら「それは無理難題だし吸い付く」ということは誤りだ fact12: 「もし仮にある物は吸い付くとしたら「出し為さらないし再読しない」ということは嘘である」ということは真実だ fact13: もしこの社員全員が心弱いとすればあのフレンチドアは出し為さらない ; $hypothesis$ = そのフレンチドアは出し為さらないしさらに再読しない ; $proof$ = 
fact3 -> int1: 仮にその占居部位が聞き取り易いかそれは挿図でないかどちらもだとしたらそれは無理難題である; int1 & fact6 -> int2: その占居部位は無理難題である; int2 & fact2 -> int3: 「そのテールレンズは吸い付くということはないが無理難題である」ということは嘘だ; int3 & fact1 -> int4: そのテールレンズは脂っぽくない; int4 & fact5 -> int5: そのテールレンズは真葛である; int5 & fact9 -> int6: この社員全員は心弱い; int6 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「そのテールレンズは吸い付かないがそれは無理難題である」ということは成り立たないとしたらそれは脂っぽくない
事実2: もし仮にその占居部位は無理難題であるなら「そのテールレンズは吸い付かないけど無理難題である」ということは誤りだ
事実3: もしもなんらかの物が聞き取り易いかそれは挿図でないかもしくは両方であるならそれは無理難題だ
事実4: もし何かは再読すればそれは心弱いかあるいはそれは真葛であるということはないかまたはどちらもである
事実5: もし仮にそのテールレンズが脂っぽくないなら真葛だ
事実6: その占居部位は聞き取り易いかそれは挿図でないかもしくは両方ともだ
事実7: もしそのテールレンズが脂っぽいならこの社員全員は脂っぽくない
事実8: もしもこの社員全員が心弱いならばそのフレンチドアは出し為さらなくてその上再読しない
事実9: もしもそのテールレンズが真葛だとすればあの社員全員は心弱い
事実10: 「もし仮に「とある物は無理難題でかつ吸い付く」ということは誤りだとすると吸い付かない」ということは成り立つ
事実11: もし仮にとあるものは脂っぽくないなら「それは無理難題だし吸い付く」ということは誤りだ
事実12: 「もし仮にある物は吸い付くとしたら「出し為さらないし再読しない」ということは嘘である」ということは真実だ
事実13: もしこの社員全員が心弱いとすればあのフレンチドアは出し為さらない

仮説: そのフレンチドアは出し為さらないしさらに再読しない
1. 事実3から、推論1: "仮にその占居部位が聞き取り易いかそれは挿図でないかどちらもだとしたらそれは無理難題である"が導かれる
2. 推論1と事実6から、推論2: "その占居部位は無理難題である"が導かれる
3. 推論2と事実2から、推論3: "「そのテールレンズは吸い付くということはないが無理難題である」ということは嘘だ"が導かれる
4. 推論3と事実1から、推論4: "そのテールレンズは脂っぽくない"が導かれる
5. 推論4と事実5から、推論5: "そのテールレンズは真葛である"が導かれる
6. 推論5と事実9から、推論6: "この社員全員は心弱い"が導かれる
7. 推論6と事実8から、仮説が導かれる

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