その正面図は美々しい
fact1: もしもその正面図は悩ますし美々しいなら「それは儚しない」ということは成り立つ fact2: もしもあの講説が悩ますとしたらその正面図は美々しい fact3: その家出息子は悩まさない fact4: もし仮になにがしかのものが挙るかもしくは儚しないとしたら儚しない fact5: 仮に「何かは苛々し易いということはないかまたは儚し」ということは正しくないとすれば悩ます fact6: もし「あの講説は苛々し易くないししかも儚しない」ということは事実と異なるならばあの注入速度は挙るということはない fact7: 「その奠基は探し易くないけど溜まり易い」ということは成り立たない fact8: もし仮に「あるものは補正だがそれは都市税制でない」ということは成り立たないとしたら苛々し易くない fact9: もしも「ある物は挙る」ということは成り立つとすれば「苛々し易くないかもしくは儚しかあるいはどちらもだ」ということは事実と異なる fact10: 「「オリエンタリズムでないけれどＨＴＭＬ文書である」ということは成り立たない」ものがあればその正面図は悩ます fact11: 「あの講説は苛々し易いがしかしそれは儚しということはない」ということは成り立たない fact12: 「その正面図は集光する」ということは成り立つ fact13: もしもその正面図は儚しないならば「あの講説は苛々し易くないししかも儚しない」ということは嘘である fact14: もしもその正面図は儚しないとすると「あの講説は苛々し易くないけれどそれは儚し」ということは誤っている fact15: 苛々し易くない物は挙るかまたは儚しないか両方ともだ fact16: 「「オリエンタリズムでないしおまけにＨＴＭＬ文書だ」ということは成り立たない」ものはある fact17: この共産主義政権は挙る fact18: あるものはオリエンタリズムでないけれどそれはＨＴＭＬ文書である fact19: この注入速度は挙る
fact16 & fact10 -> int1: その正面図は悩ます; void -> assump1: 以下のように仮定する。その正面図は美々しい; int1 & assump1 -> int2: その正面図は悩ますしおまけに美々しい; int2 & fact1 -> int3: その正面図は儚しない; int3 & fact13 -> int4: 「あの講説は苛々し易いということはないしそれに儚しない」ということは誤りだ; int4 & fact6 -> int5: この注入速度は挙らない; int5 & fact19 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その正面図は美々しい
fact20 -> int7: 仮に「あの講説は苛々し易くないかそれは儚しかどちらもである」ということは成り立たないなら「悩ます」ということは正しい; fact22 -> int8: 「あの講説は挙る」ということは成り立つとしたら「苛々し易くないかもしくは儚しかまたは両方ともだ」ということは成り立たない;
$facts$ = fact1: もしもその正面図は悩ますし美々しいなら「それは儚しない」ということは成り立つ fact2: もしもあの講説が悩ますとしたらその正面図は美々しい fact3: その家出息子は悩まさない fact4: もし仮になにがしかのものが挙るかもしくは儚しないとしたら儚しない fact5: 仮に「何かは苛々し易いということはないかまたは儚し」ということは正しくないとすれば悩ます fact6: もし「あの講説は苛々し易くないししかも儚しない」ということは事実と異なるならばあの注入速度は挙るということはない fact7: 「その奠基は探し易くないけど溜まり易い」ということは成り立たない fact8: もし仮に「あるものは補正だがそれは都市税制でない」ということは成り立たないとしたら苛々し易くない fact9: もしも「ある物は挙る」ということは成り立つとすれば「苛々し易くないかもしくは儚しかあるいはどちらもだ」ということは事実と異なる fact10: 「「オリエンタリズムでないけれどＨＴＭＬ文書である」ということは成り立たない」ものがあればその正面図は悩ます fact11: 「あの講説は苛々し易いがしかしそれは儚しということはない」ということは成り立たない fact12: 「その正面図は集光する」ということは成り立つ fact13: もしもその正面図は儚しないならば「あの講説は苛々し易くないししかも儚しない」ということは嘘である fact14: もしもその正面図は儚しないとすると「あの講説は苛々し易くないけれどそれは儚し」ということは誤っている fact15: 苛々し易くない物は挙るかまたは儚しないか両方ともだ fact16: 「「オリエンタリズムでないしおまけにＨＴＭＬ文書だ」ということは成り立たない」ものはある fact17: この共産主義政権は挙る fact18: あるものはオリエンタリズムでないけれどそれはＨＴＭＬ文書である fact19: この注入速度は挙る ; $hypothesis$ = その正面図は美々しい ; $proof$ = 
fact16 & fact10 -> int1: その正面図は悩ます; void -> assump1: 以下のように仮定する。その正面図は美々しい; int1 & assump1 -> int2: その正面図は悩ますしおまけに美々しい; int2 & fact1 -> int3: その正面図は儚しない; int3 & fact13 -> int4: 「あの講説は苛々し易いということはないしそれに儚しない」ということは誤りだ; int4 & fact6 -> int5: この注入速度は挙らない; int5 & fact19 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしもその正面図は悩ますし美々しいなら「それは儚しない」ということは成り立つ
事実2: もしもあの講説が悩ますとしたらその正面図は美々しい
事実3: その家出息子は悩まさない
事実4: もし仮になにがしかのものが挙るかもしくは儚しないとしたら儚しない
事実5: 仮に「何かは苛々し易いということはないかまたは儚し」ということは正しくないとすれば悩ます
事実6: もし「あの講説は苛々し易くないししかも儚しない」ということは事実と異なるならばあの注入速度は挙るということはない
事実7: 「その奠基は探し易くないけど溜まり易い」ということは成り立たない
事実8: もし仮に「あるものは補正だがそれは都市税制でない」ということは成り立たないとしたら苛々し易くない
事実9: もしも「ある物は挙る」ということは成り立つとすれば「苛々し易くないかもしくは儚しかあるいはどちらもだ」ということは事実と異なる
事実10: 「「オリエンタリズムでないけれどＨＴＭＬ文書である」ということは成り立たない」ものがあればその正面図は悩ます
事実11: 「あの講説は苛々し易いがしかしそれは儚しということはない」ということは成り立たない
事実12: 「その正面図は集光する」ということは成り立つ
事実13: もしもその正面図は儚しないならば「あの講説は苛々し易くないししかも儚しない」ということは嘘である
事実14: もしもその正面図は儚しないとすると「あの講説は苛々し易くないけれどそれは儚し」ということは誤っている
事実15: 苛々し易くない物は挙るかまたは儚しないか両方ともだ
事実16: 「「オリエンタリズムでないしおまけにＨＴＭＬ文書だ」ということは成り立たない」ものはある
事実17: この共産主義政権は挙る
事実18: あるものはオリエンタリズムでないけれどそれはＨＴＭＬ文書である
事実19: この注入速度は挙る

仮説: その正面図は美々しい
1. 事実16と事実10から、推論1: "その正面図は悩ます"が導かれる
2. 仮定1: 以下のように仮定する。その正面図は美々しい
3. 推論1と仮定1から、推論2: "その正面図は悩ますしおまけに美々しい"が導かれる
4. 推論2と事実1から、推論3: "その正面図は儚しない"が導かれる
5. 推論3と事実13から、推論4: "「あの講説は苛々し易いということはないしそれに儚しない」ということは誤りだ"が導かれる
6. 推論4と事実6から、推論5: "この注入速度は挙らない"が導かれる
7. 推論5と事実19から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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