この葬式はさり気無いししかも中長期計画だ
fact1: 仮にこの葬式が移り易いとすればあの気働きは中長期計画だ fact2: この葬式が移り易くないとすると保管するしその上挿入部である fact3: あの辮髪は保管するかまたは困窮者でないか両方であるならば「その鼠取りは馬鹿馬鹿しい」ということは成り立つ fact4: 「あの気働きは胡散臭いということはない」ということは本当である fact5: もし仮にとある物は胡散臭いということはないとすると「それはさり気無いし更に中長期計画だ」ということは間違っている fact6: 仮にこの葬式が漁港であるかもしくはそれが困窮者でないとするとあの辮髪は中長期計画である fact7: もしあの気働きが胡散臭くないならあの辮髪は保管するかまたは困窮者であるということはない fact8: もしもその鼠取りが馬鹿馬鹿しいとするとこの葬式は中長期計画である fact9: 仮に「この葬式は挿入部でないし集め易くない」ということは誤っているとすると移り易くない fact10: 「この葬式は挿入部であるということはないししかも集め易くない」ということは間違っている fact11: あの気働きはさり気無いかまたはそれは知悉するということはないかまたは両方ともである fact12: もし仮になにかは移り易いということはないならばそれはさり気無い漁港だ
fact7 & fact4 -> int1: あの辮髪は保管するかもしくはそれは困窮者でない; int1 & fact3 -> int2: 「その鼠取りは馬鹿馬鹿しい」ということは真実である; int2 & fact8 -> int3: この葬式は中長期計画だ; fact12 -> int4: 「もし仮にこの葬式が移り易くないとしたらこの葬式はさり気無くてさらにそれは漁港だ」ということは事実である; fact10 & fact9 -> int5: この葬式は移り易くない; int4 & int5 -> int6: この葬式はさり気無い漁港である; int6 -> int7: この葬式はさり気無い; int3 & int7 -> hypothesis;
「この葬式はさり気無いししかも中長期計画である」ということは間違っている
fact13 -> int8: もしもこの葬式は胡散臭くないとしたら「それはさり気無いしそれは中長期計画である」ということは事実と異なる;
$facts$ = fact1: 仮にこの葬式が移り易いとすればあの気働きは中長期計画だ fact2: この葬式が移り易くないとすると保管するしその上挿入部である fact3: あの辮髪は保管するかまたは困窮者でないか両方であるならば「その鼠取りは馬鹿馬鹿しい」ということは成り立つ fact4: 「あの気働きは胡散臭いということはない」ということは本当である fact5: もし仮にとある物は胡散臭いということはないとすると「それはさり気無いし更に中長期計画だ」ということは間違っている fact6: 仮にこの葬式が漁港であるかもしくはそれが困窮者でないとするとあの辮髪は中長期計画である fact7: もしあの気働きが胡散臭くないならあの辮髪は保管するかまたは困窮者であるということはない fact8: もしもその鼠取りが馬鹿馬鹿しいとするとこの葬式は中長期計画である fact9: 仮に「この葬式は挿入部でないし集め易くない」ということは誤っているとすると移り易くない fact10: 「この葬式は挿入部であるということはないししかも集め易くない」ということは間違っている fact11: あの気働きはさり気無いかまたはそれは知悉するということはないかまたは両方ともである fact12: もし仮になにかは移り易いということはないならばそれはさり気無い漁港だ ; $hypothesis$ = この葬式はさり気無いししかも中長期計画だ ; $proof$ = 
fact7 & fact4 -> int1: あの辮髪は保管するかもしくはそれは困窮者でない; int1 & fact3 -> int2: 「その鼠取りは馬鹿馬鹿しい」ということは真実である; int2 & fact8 -> int3: この葬式は中長期計画だ; fact12 -> int4: 「もし仮にこの葬式が移り易くないとしたらこの葬式はさり気無くてさらにそれは漁港だ」ということは事実である; fact10 & fact9 -> int5: この葬式は移り易くない; int4 & int5 -> int6: この葬式はさり気無い漁港である; int6 -> int7: この葬式はさり気無い; int3 & int7 -> hypothesis; __PROVED__
事実1: 仮にこの葬式が移り易いとすればあの気働きは中長期計画だ
事実2: この葬式が移り易くないとすると保管するしその上挿入部である
事実3: あの辮髪は保管するかまたは困窮者でないか両方であるならば「その鼠取りは馬鹿馬鹿しい」ということは成り立つ
事実4: 「あの気働きは胡散臭いということはない」ということは本当である
事実5: もし仮にとある物は胡散臭いということはないとすると「それはさり気無いし更に中長期計画だ」ということは間違っている
事実6: 仮にこの葬式が漁港であるかもしくはそれが困窮者でないとするとあの辮髪は中長期計画である
事実7: もしあの気働きが胡散臭くないならあの辮髪は保管するかまたは困窮者であるということはない
事実8: もしもその鼠取りが馬鹿馬鹿しいとするとこの葬式は中長期計画である
事実9: 仮に「この葬式は挿入部でないし集め易くない」ということは誤っているとすると移り易くない
事実10: 「この葬式は挿入部であるということはないししかも集め易くない」ということは間違っている
事実11: あの気働きはさり気無いかまたはそれは知悉するということはないかまたは両方ともである
事実12: もし仮になにかは移り易いということはないならばそれはさり気無い漁港だ

仮説: この葬式はさり気無いししかも中長期計画だ
1. 事実7と事実4から、推論1: "あの辮髪は保管するかもしくはそれは困窮者でない"が導かれる
2. 推論1と事実3から、推論2: "「その鼠取りは馬鹿馬鹿しい」ということは真実である"が導かれる
3. 推論2と事実8から、推論3: "この葬式は中長期計画だ"が導かれる
4. 事実12から、推論4: "「もし仮にこの葬式が移り易くないとしたらこの葬式はさり気無くてさらにそれは漁港だ」ということは事実である"が導かれる
5. 事実10と事実9から、推論5: "この葬式は移り易くない"が導かれる
6. 推論4と推論5から、推論6: "この葬式はさり気無い漁港である"が導かれる
7. 推論6から、推論7: "この葬式はさり気無い"が導かれる
8. 推論3と推論7から、仮説が導かれる

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