このピラミッド建設は願える
fact1: 「このピラミッド建設は価値だ」ということは成り立たないとすると申し付からないし襟付けない fact2: もしもこのピラミッド建設は願えないしかつ潔しないとすれば「それはワレットである」ということは事実である fact3: このピラミッド建設はブラッグ条件でない fact4: この境遇はＸ線入射窓だということはない fact5: もし仮にこの素は踏み荒らすとすると「政庁である」ということは成り立つ fact6: 何かは価値でないし止まないとするとそれは願える fact7: この阿片貿易は願えないしまた庄津家でない fact8: 仮に価値が止まないならそれは願える fact9: なにがしかの物はＸ線入射窓でないとしたら寝転がるか育て易いかあるいは両方だ fact10: このピラミッド建設が押印しないしさらに価値だということはない fact11: 仮にこのピラミッド建設が懐かしむということはないなら価値でない fact12: 「このピラミッド建設は懐かしむということはない」ということは確かだ fact13: もしこの素が願えるが懐かしまないならこのピラミッド建設は願えるということはない fact14: 仮にこのピラミッド建設は価値である一方で止まないならばそれは願える fact15: この素は懐かしまないとすれば「願えないししかも尤もらしくない」ということは成り立つということはない fact16: その切除線は懐かしまない fact17: もしも「この素は願えないしその上それは尤もらしくない」ということは間違いであるとすれば「このピラミッド建設は願えらない」ということは成り立つ fact18: もしもこのピラミッド建設は人懐こくないとしたら「それは見辛くない」ということは事実だ fact19: もし「とある物が政庁だしその上それは全員一律だ」ということは成り立つとすると懐かしまない fact20: 仮にこのピラミッド建設が懐かしまないとしたらそれは価値でないし加えて止まない fact21: このピラミッド建設は価値でない fact22: あの引用文中は価値でない
fact6 -> int1: 仮にこのピラミッド建設は価値でないし止まないならばそれは願える; fact12 & fact20 -> int2: このピラミッド建設は価値でないしそれに止まない; int1 & int2 -> hypothesis;
このピラミッド建設は願えらない
$facts$ = fact1: 「このピラミッド建設は価値だ」ということは成り立たないとすると申し付からないし襟付けない fact2: もしもこのピラミッド建設は願えないしかつ潔しないとすれば「それはワレットである」ということは事実である fact3: このピラミッド建設はブラッグ条件でない fact4: この境遇はＸ線入射窓だということはない fact5: もし仮にこの素は踏み荒らすとすると「政庁である」ということは成り立つ fact6: 何かは価値でないし止まないとするとそれは願える fact7: この阿片貿易は願えないしまた庄津家でない fact8: 仮に価値が止まないならそれは願える fact9: なにがしかの物はＸ線入射窓でないとしたら寝転がるか育て易いかあるいは両方だ fact10: このピラミッド建設が押印しないしさらに価値だということはない fact11: 仮にこのピラミッド建設が懐かしむということはないなら価値でない fact12: 「このピラミッド建設は懐かしむということはない」ということは確かだ fact13: もしこの素が願えるが懐かしまないならこのピラミッド建設は願えるということはない fact14: 仮にこのピラミッド建設は価値である一方で止まないならばそれは願える fact15: この素は懐かしまないとすれば「願えないししかも尤もらしくない」ということは成り立つということはない fact16: その切除線は懐かしまない fact17: もしも「この素は願えないしその上それは尤もらしくない」ということは間違いであるとすれば「このピラミッド建設は願えらない」ということは成り立つ fact18: もしもこのピラミッド建設は人懐こくないとしたら「それは見辛くない」ということは事実だ fact19: もし「とある物が政庁だしその上それは全員一律だ」ということは成り立つとすると懐かしまない fact20: 仮にこのピラミッド建設が懐かしまないとしたらそれは価値でないし加えて止まない fact21: このピラミッド建設は価値でない fact22: あの引用文中は価値でない ; $hypothesis$ = このピラミッド建設は願える ; $proof$ = 
fact6 -> int1: 仮にこのピラミッド建設は価値でないし止まないならばそれは願える; fact12 & fact20 -> int2: このピラミッド建設は価値でないしそれに止まない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「このピラミッド建設は価値だ」ということは成り立たないとすると申し付からないし襟付けない
事実2: もしもこのピラミッド建設は願えないしかつ潔しないとすれば「それはワレットである」ということは事実である
事実3: このピラミッド建設はブラッグ条件でない
事実4: この境遇はＸ線入射窓だということはない
事実5: もし仮にこの素は踏み荒らすとすると「政庁である」ということは成り立つ
事実6: 何かは価値でないし止まないとするとそれは願える
事実7: この阿片貿易は願えないしまた庄津家でない
事実8: 仮に価値が止まないならそれは願える
事実9: なにがしかの物はＸ線入射窓でないとしたら寝転がるか育て易いかあるいは両方だ
事実10: このピラミッド建設が押印しないしさらに価値だということはない
事実11: 仮にこのピラミッド建設が懐かしむということはないなら価値でない
事実12: 「このピラミッド建設は懐かしむということはない」ということは確かだ
事実13: もしこの素が願えるが懐かしまないならこのピラミッド建設は願えるということはない
事実14: 仮にこのピラミッド建設は価値である一方で止まないならばそれは願える
事実15: この素は懐かしまないとすれば「願えないししかも尤もらしくない」ということは成り立つということはない
事実16: その切除線は懐かしまない
事実17: もしも「この素は願えないしその上それは尤もらしくない」ということは間違いであるとすれば「このピラミッド建設は願えらない」ということは成り立つ
事実18: もしもこのピラミッド建設は人懐こくないとしたら「それは見辛くない」ということは事実だ
事実19: もし「とある物が政庁だしその上それは全員一律だ」ということは成り立つとすると懐かしまない
事実20: 仮にこのピラミッド建設が懐かしまないとしたらそれは価値でないし加えて止まない
事実21: このピラミッド建設は価値でない
事実22: あの引用文中は価値でない

仮説: このピラミッド建設は願える
1. 事実6から、推論1: "仮にこのピラミッド建設は価値でないし止まないならばそれは願える"が導かれる
2. 事実12と事実20から、推論2: "このピラミッド建設は価値でないしそれに止まない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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