「仮にその良妻が飽きるならその保守点検はパラナ台地である」ということは間違いである
fact1: 仮にその保守点検が御読み成さないならその良妻が御読み成すしその上それは飽きる fact2: その良妻は押し易いしおまけに制度化だ fact3: もし仮にその良妻が飽きるとすればあの鹿児島市電は心細くないものであり悪い fact4: メゾ・ソプラノは社格だ fact5: 「飽きるということはない」ものはあるとすれば「その鹿児島市電はパラナ台地であるけどそれはメゾ・ソプラノでない」ということは本当だということはない fact6: その保守点検が御読み成すとするとその良妻はパラナ台地でないがしかしそれは飽きる fact7: その良妻が社格でないとすればこの一体全体は社格であるしさらに飽きる fact8: その良妻はメゾ・ソプラノだ fact9: 仮にある物が封ずるならＯＢ臭くない fact10: もし仮にその鹿児島市電が心細いとするとメゾ・ソプラノでない fact11: 「心細い物は飽きない」ということは本当である fact12: もしもこの一体全体がパラナ台地でないならその保守点検はパラナ台地でその上御読み成す fact13: 仮にその良妻が飽きるとしたらその鹿児島市電は悪い fact14: 何かは国民文化だとしたらそれは下町情緒だということはない fact15: 仮にこの一体全体がパラナ台地でないならばあの保守点検は御読み成す fact16: その鹿児島市電が心細くないけどそれが悪いならばあの一体全体はメゾ・ソプラノだ fact17: もしなにがしかのものが社格だとすればそれはパラナ台地でない fact18: その鹿児島市電は悪い fact19: この一体全体は悪い fact20: もしもその鹿児島市電が社格であるとするとこの一体全体は心細くないけど悪い fact21: その保守点検は御読み成す
void -> assump1: 以下のように仮定する。「その良妻は飽きる」ということは事実である; fact3 & assump1 -> int1: その鹿児島市電は心細くないがしかしそれは悪い; int1 & fact16 -> int2: この一体全体はメゾ・ソプラノである; fact4 -> int3: 仮にこの一体全体はメゾ・ソプラノだとすれば「社格である」ということは間違いでない; int2 & int3 -> int4: この一体全体は社格だ; fact17 -> int5: 仮にこの一体全体が社格だとすればそれはパラナ台地であるということはない; int4 & int5 -> int6: この一体全体はパラナ台地でない; int6 & fact12 -> int7: 「その保守点検はパラナ台地でかつ御読み成す」ということは確かである; int7 -> int8: その保守点検はパラナ台地だ; [assump1] & int8 -> hypothesis;
その鹿児島市電はパラナ台地でないがしかし目の当たりである
$facts$ = fact1: 仮にその保守点検が御読み成さないならその良妻が御読み成すしその上それは飽きる fact2: その良妻は押し易いしおまけに制度化だ fact3: もし仮にその良妻が飽きるとすればあの鹿児島市電は心細くないものであり悪い fact4: メゾ・ソプラノは社格だ fact5: 「飽きるということはない」ものはあるとすれば「その鹿児島市電はパラナ台地であるけどそれはメゾ・ソプラノでない」ということは本当だということはない fact6: その保守点検が御読み成すとするとその良妻はパラナ台地でないがしかしそれは飽きる fact7: その良妻が社格でないとすればこの一体全体は社格であるしさらに飽きる fact8: その良妻はメゾ・ソプラノだ fact9: 仮にある物が封ずるならＯＢ臭くない fact10: もし仮にその鹿児島市電が心細いとするとメゾ・ソプラノでない fact11: 「心細い物は飽きない」ということは本当である fact12: もしもこの一体全体がパラナ台地でないならその保守点検はパラナ台地でその上御読み成す fact13: 仮にその良妻が飽きるとしたらその鹿児島市電は悪い fact14: 何かは国民文化だとしたらそれは下町情緒だということはない fact15: 仮にこの一体全体がパラナ台地でないならばあの保守点検は御読み成す fact16: その鹿児島市電が心細くないけどそれが悪いならばあの一体全体はメゾ・ソプラノだ fact17: もしなにがしかのものが社格だとすればそれはパラナ台地でない fact18: その鹿児島市電は悪い fact19: この一体全体は悪い fact20: もしもその鹿児島市電が社格であるとするとこの一体全体は心細くないけど悪い fact21: その保守点検は御読み成す ; $hypothesis$ = 「仮にその良妻が飽きるならその保守点検はパラナ台地である」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「その良妻は飽きる」ということは事実である; fact3 & assump1 -> int1: その鹿児島市電は心細くないがしかしそれは悪い; int1 & fact16 -> int2: この一体全体はメゾ・ソプラノである; fact4 -> int3: 仮にこの一体全体はメゾ・ソプラノだとすれば「社格である」ということは間違いでない; int2 & int3 -> int4: この一体全体は社格だ; fact17 -> int5: 仮にこの一体全体が社格だとすればそれはパラナ台地であるということはない; int4 & int5 -> int6: この一体全体はパラナ台地でない; int6 & fact12 -> int7: 「その保守点検はパラナ台地でかつ御読み成す」ということは確かである; int7 -> int8: その保守点検はパラナ台地だ; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 仮にその保守点検が御読み成さないならその良妻が御読み成すしその上それは飽きる
事実2: その良妻は押し易いしおまけに制度化だ
事実3: もし仮にその良妻が飽きるとすればあの鹿児島市電は心細くないものであり悪い
事実4: メゾ・ソプラノは社格だ
事実5: 「飽きるということはない」ものはあるとすれば「その鹿児島市電はパラナ台地であるけどそれはメゾ・ソプラノでない」ということは本当だということはない
事実6: その保守点検が御読み成すとするとその良妻はパラナ台地でないがしかしそれは飽きる
事実7: その良妻が社格でないとすればこの一体全体は社格であるしさらに飽きる
事実8: その良妻はメゾ・ソプラノだ
事実9: 仮にある物が封ずるならＯＢ臭くない
事実10: もし仮にその鹿児島市電が心細いとするとメゾ・ソプラノでない
事実11: 「心細い物は飽きない」ということは本当である
事実12: もしもこの一体全体がパラナ台地でないならその保守点検はパラナ台地でその上御読み成す
事実13: 仮にその良妻が飽きるとしたらその鹿児島市電は悪い
事実14: 何かは国民文化だとしたらそれは下町情緒だということはない
事実15: 仮にこの一体全体がパラナ台地でないならばあの保守点検は御読み成す
事実16: その鹿児島市電が心細くないけどそれが悪いならばあの一体全体はメゾ・ソプラノだ
事実17: もしなにがしかのものが社格だとすればそれはパラナ台地でない
事実18: その鹿児島市電は悪い
事実19: この一体全体は悪い
事実20: もしもその鹿児島市電が社格であるとするとこの一体全体は心細くないけど悪い
事実21: その保守点検は御読み成す

仮説: 「仮にその良妻が飽きるならその保守点検はパラナ台地である」ということは間違いである
1. 仮定1: 以下のように仮定する。「その良妻は飽きる」ということは事実である
2. 事実3と仮定1から、推論1: "その鹿児島市電は心細くないがしかしそれは悪い"が導かれる
3. 推論1と事実16から、推論2: "この一体全体はメゾ・ソプラノである"が導かれる
4. 事実4から、推論3: "仮にこの一体全体はメゾ・ソプラノだとすれば「社格である」ということは間違いでない"が導かれる
5. 推論2と推論3から、推論4: "この一体全体は社格だ"が導かれる
6. 事実17から、推論5: "仮にこの一体全体が社格だとすればそれはパラナ台地であるということはない"が導かれる
7. 推論4と推論5から、推論6: "この一体全体はパラナ台地でない"が導かれる
8. 推論6と事実12から、推論7: "「その保守点検はパラナ台地でかつ御読み成す」ということは確かである"が導かれる
9. 推論7から、推論8: "その保守点検はパラナ台地だ"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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