あのヨークシャ・プディングは分かり易い
fact1: このカード類はど偉い fact2: もしも「その暦日は初代培養ミクログリアであるが毛深くない」ということは成り立たないとしたらそれは調べ易くない fact3: もしも「この一航戦は生産し得る一方で初代培養ミクログリアでない」ということは成り立つということはないならあのヨークシャ・プディングは生産し得る fact4: もしもこの一航戦が生産し得るならばあのヨークシャ・プディングは調べ易くない fact5: あのヨークシャ・プディングは電荷密度波であるとすればそれは多層でないかもしくは馴染み難いかまたは両方ともである fact6: 仮にこのカード類がど偉いがしかしおっそろしないならばあのヨークシャ・プディングは電荷密度波だ fact7: この一航戦は生産し得る fact8: その不利益変更禁止は生産し得る fact9: あるものが生産し得るしそれが調べ易いとしたら分かり易いということはない fact10: もし仮にあの七十年代末が毛深くてそれはピットであるならば「この一航戦は毛深くない」ということは本当だ fact11: もしあるものが多層でないか馴染み難いかどちらもならば調べ易い fact12: 仮にあの不適応行動が真っ暗いとしたらあの山行アドバイスは真っ暗くない fact13: 仮にあの不適応行動は心安いということはないとすると「あの山行アドバイスは真っ暗い」ということは偽だ fact14: もし仮にあの山行アドバイスが真っ暗くないならあの七十年代末は風土記でないしそれは催すということはない fact15: あの不適応行動は真っ暗いかまたは心安くないかあるいは両方ともだ fact16: もしもなんらかのものが調べ易くないならそれは毛深い fact17: もしもあのヨークシャ・プディングが毛深いならば分かり易い fact18: 仮にあるものは毛深くないとすると「生産し得るけれど初代培養ミクログリアでない」ということは誤りである fact19: もしある物が催さないとすると毛深いしピットだ
fact4 & fact7 -> int1: あのヨークシャ・プディングは調べ易くない; fact16 -> int2: もしあのヨークシャ・プディングが調べ易くないとすれば毛深い; int1 & int2 -> int3: あのヨークシャ・プディングは毛深い; int3 & fact17 -> hypothesis;
fact4 & fact7 -> int1: ¬{B}{b}; fact16 -> int2: ¬{B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 & fact17 -> hypothesis;
その暦日は分かり易くない
$facts$ = fact1: このカード類はど偉い fact2: もしも「その暦日は初代培養ミクログリアであるが毛深くない」ということは成り立たないとしたらそれは調べ易くない fact3: もしも「この一航戦は生産し得る一方で初代培養ミクログリアでない」ということは成り立つということはないならあのヨークシャ・プディングは生産し得る fact4: もしもこの一航戦が生産し得るならばあのヨークシャ・プディングは調べ易くない fact5: あのヨークシャ・プディングは電荷密度波であるとすればそれは多層でないかもしくは馴染み難いかまたは両方ともである fact6: 仮にこのカード類がど偉いがしかしおっそろしないならばあのヨークシャ・プディングは電荷密度波だ fact7: この一航戦は生産し得る fact8: その不利益変更禁止は生産し得る fact9: あるものが生産し得るしそれが調べ易いとしたら分かり易いということはない fact10: もし仮にあの七十年代末が毛深くてそれはピットであるならば「この一航戦は毛深くない」ということは本当だ fact11: もしあるものが多層でないか馴染み難いかどちらもならば調べ易い fact12: 仮にあの不適応行動が真っ暗いとしたらあの山行アドバイスは真っ暗くない fact13: 仮にあの不適応行動は心安いということはないとすると「あの山行アドバイスは真っ暗い」ということは偽だ fact14: もし仮にあの山行アドバイスが真っ暗くないならあの七十年代末は風土記でないしそれは催すということはない fact15: あの不適応行動は真っ暗いかまたは心安くないかあるいは両方ともだ fact16: もしもなんらかのものが調べ易くないならそれは毛深い fact17: もしもあのヨークシャ・プディングが毛深いならば分かり易い fact18: 仮にあるものは毛深くないとすると「生産し得るけれど初代培養ミクログリアでない」ということは誤りである fact19: もしある物が催さないとすると毛深いしピットだ ; $hypothesis$ = あのヨークシャ・プディングは分かり易い ; $proof$ = 
fact4 & fact7 -> int1: あのヨークシャ・プディングは調べ易くない; fact16 -> int2: もしあのヨークシャ・プディングが調べ易くないとすれば毛深い; int1 & int2 -> int3: あのヨークシャ・プディングは毛深い; int3 & fact17 -> hypothesis; __PROVED__
事実1: このカード類はど偉い
事実2: もしも「その暦日は初代培養ミクログリアであるが毛深くない」ということは成り立たないとしたらそれは調べ易くない
事実3: もしも「この一航戦は生産し得る一方で初代培養ミクログリアでない」ということは成り立つということはないならあのヨークシャ・プディングは生産し得る
事実4: もしもこの一航戦が生産し得るならばあのヨークシャ・プディングは調べ易くない
事実5: あのヨークシャ・プディングは電荷密度波であるとすればそれは多層でないかもしくは馴染み難いかまたは両方ともである
事実6: 仮にこのカード類がど偉いがしかしおっそろしないならばあのヨークシャ・プディングは電荷密度波だ
事実7: この一航戦は生産し得る
事実8: その不利益変更禁止は生産し得る
事実9: あるものが生産し得るしそれが調べ易いとしたら分かり易いということはない
事実10: もし仮にあの七十年代末が毛深くてそれはピットであるならば「この一航戦は毛深くない」ということは本当だ
事実11: もしあるものが多層でないか馴染み難いかどちらもならば調べ易い
事実12: 仮にあの不適応行動が真っ暗いとしたらあの山行アドバイスは真っ暗くない
事実13: 仮にあの不適応行動は心安いということはないとすると「あの山行アドバイスは真っ暗い」ということは偽だ
事実14: もし仮にあの山行アドバイスが真っ暗くないならあの七十年代末は風土記でないしそれは催すということはない
事実15: あの不適応行動は真っ暗いかまたは心安くないかあるいは両方ともだ
事実16: もしもなんらかのものが調べ易くないならそれは毛深い
事実17: もしもあのヨークシャ・プディングが毛深いならば分かり易い
事実18: 仮にあるものは毛深くないとすると「生産し得るけれど初代培養ミクログリアでない」ということは誤りである
事実19: もしある物が催さないとすると毛深いしピットだ

仮説: あのヨークシャ・プディングは分かり易い
1. 事実4と事実7から、推論1: "あのヨークシャ・プディングは調べ易くない"が導かれる
2. 事実16から、推論2: "もしあのヨークシャ・プディングが調べ易くないとすれば毛深い"が導かれる
3. 推論1と推論2から、推論3: "あのヨークシャ・プディングは毛深い"が導かれる
4. 推論3と事実17から、仮説が導かれる

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