あの買い掛けは気付かす
fact1: このフォーミュラは進め易い fact2: もし仮にこの四室は公有財産ならば「それは伝達係だ」ということは真実だ fact3: 仮に「申し訳無い」ものがあるならその左遷は進め易くない fact4: もし仮にこのフォーミュラが御祈り致すとしたらその左遷は胡散臭くない fact5: 「もし仮にその左遷が胡散臭いということはないとすればあの買い掛けは気付かすしその上野暮ったい」ということは成り立つ fact6: 野暮ったくない物は気付かさないししかも胡散臭くない fact7: その左遷が胡散臭くないならあの買い掛けは野暮ったい fact8: 仮に「あの買い掛けは御祈り致すがしかしそれは返済出来ない」ということは間違っているとしたらこのフォーミュラは申し訳無い fact9: 「仮に「あの過剰反応が返済出来るしその上進め易い」ということは真実でないならばあの左遷は返済出来ない」ということは成り立つ fact10: 「あの買い掛けは野暮ったい」ということは事実である fact11: もしもこのフォーミュラが申し訳無いとすればそれは進め易くない fact12: もし仮にその外国人選手が貰い泣きするしさらに胡麻味噌であるとしたらこの四室は胡麻味噌でない fact13: もし仮にこの四室が胡麻味噌だということはないとすればそれは公有財産であるかあるいは観光客らしいかあるいは両方ともだ fact14: 観光客らしい物は伝達係である fact15: 仮になにかは胡散臭くないとすると「それは御祈り致すがしかし返済出来ない」ということは成り立たない fact16: もしあの過剰反応が気付かさなくてその上胡散臭いということはないとすればあの買い掛けは胡散臭いということはない fact17: もし「このフォーミュラは返済出来ない」ということは成り立つとしたら御祈り致す fact18: その外国人選手は貰い泣きするし加えて胡麻味噌だ fact19: もし仮にこのフォーミュラが申し訳無いかそれは返済出来るかもしくは両方ともであるならそれは進め易いということはない
void -> assump1: 以下のように仮定する。このフォーミュラは返済出来る; assump1 -> int1: このフォーミュラは申し訳無いかそれは返済出来る; int1 & fact19 -> int2: このフォーミュラは進め易くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: このフォーミュラは返済出来ない; int4 & fact17 -> int5: このフォーミュラは御祈り致す; int5 & fact4 -> int6: その左遷は胡散臭いということはない; int6 & fact5 -> int7: 「あの買い掛けは気付かすしかつ野暮ったい」ということは事実だ; int7 -> hypothesis;
その左遷は進め易くない
fact27 -> int8: 仮にあの買い掛けは胡散臭くないとすると「それは御祈り致すし更に返済出来るということはない」ということは間違いである; fact25 -> int9: あの過剰反応が野暮ったくないならそれは気付かさなくてそれに胡散臭くない; fact24 & fact21 -> int10: 「この四室は胡麻味噌でない」ということは成り立つ; fact28 & int10 -> int11: この四室は公有財産であるかまたはそれは観光客らしい; fact23 -> int12: もしこの四室が観光客らしいならばそれは伝達係である; int11 & fact20 & int12 -> int13: この四室は伝達係である; int13 -> int14: 「なんらかのものは伝達係だ」ということは嘘でない;
$facts$ = fact1: このフォーミュラは進め易い fact2: もし仮にこの四室は公有財産ならば「それは伝達係だ」ということは真実だ fact3: 仮に「申し訳無い」ものがあるならその左遷は進め易くない fact4: もし仮にこのフォーミュラが御祈り致すとしたらその左遷は胡散臭くない fact5: 「もし仮にその左遷が胡散臭いということはないとすればあの買い掛けは気付かすしその上野暮ったい」ということは成り立つ fact6: 野暮ったくない物は気付かさないししかも胡散臭くない fact7: その左遷が胡散臭くないならあの買い掛けは野暮ったい fact8: 仮に「あの買い掛けは御祈り致すがしかしそれは返済出来ない」ということは間違っているとしたらこのフォーミュラは申し訳無い fact9: 「仮に「あの過剰反応が返済出来るしその上進め易い」ということは真実でないならばあの左遷は返済出来ない」ということは成り立つ fact10: 「あの買い掛けは野暮ったい」ということは事実である fact11: もしもこのフォーミュラが申し訳無いとすればそれは進め易くない fact12: もし仮にその外国人選手が貰い泣きするしさらに胡麻味噌であるとしたらこの四室は胡麻味噌でない fact13: もし仮にこの四室が胡麻味噌だということはないとすればそれは公有財産であるかあるいは観光客らしいかあるいは両方ともだ fact14: 観光客らしい物は伝達係である fact15: 仮になにかは胡散臭くないとすると「それは御祈り致すがしかし返済出来ない」ということは成り立たない fact16: もしあの過剰反応が気付かさなくてその上胡散臭いということはないとすればあの買い掛けは胡散臭いということはない fact17: もし「このフォーミュラは返済出来ない」ということは成り立つとしたら御祈り致す fact18: その外国人選手は貰い泣きするし加えて胡麻味噌だ fact19: もし仮にこのフォーミュラが申し訳無いかそれは返済出来るかもしくは両方ともであるならそれは進め易いということはない ; $hypothesis$ = あの買い掛けは気付かす ; $proof$ = 
void -> assump1: 以下のように仮定する。このフォーミュラは返済出来る; assump1 -> int1: このフォーミュラは申し訳無いかそれは返済出来る; int1 & fact19 -> int2: このフォーミュラは進め易くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: このフォーミュラは返済出来ない; int4 & fact17 -> int5: このフォーミュラは御祈り致す; int5 & fact4 -> int6: その左遷は胡散臭いということはない; int6 & fact5 -> int7: 「あの買い掛けは気付かすしかつ野暮ったい」ということは事実だ; int7 -> hypothesis; __PROVED__
事実1: このフォーミュラは進め易い
事実2: もし仮にこの四室は公有財産ならば「それは伝達係だ」ということは真実だ
事実3: 仮に「申し訳無い」ものがあるならその左遷は進め易くない
事実4: もし仮にこのフォーミュラが御祈り致すとしたらその左遷は胡散臭くない
事実5: 「もし仮にその左遷が胡散臭いということはないとすればあの買い掛けは気付かすしその上野暮ったい」ということは成り立つ
事実6: 野暮ったくない物は気付かさないししかも胡散臭くない
事実7: その左遷が胡散臭くないならあの買い掛けは野暮ったい
事実8: 仮に「あの買い掛けは御祈り致すがしかしそれは返済出来ない」ということは間違っているとしたらこのフォーミュラは申し訳無い
事実9: 「仮に「あの過剰反応が返済出来るしその上進め易い」ということは真実でないならばあの左遷は返済出来ない」ということは成り立つ
事実10: 「あの買い掛けは野暮ったい」ということは事実である
事実11: もしもこのフォーミュラが申し訳無いとすればそれは進め易くない
事実12: もし仮にその外国人選手が貰い泣きするしさらに胡麻味噌であるとしたらこの四室は胡麻味噌でない
事実13: もし仮にこの四室が胡麻味噌だということはないとすればそれは公有財産であるかあるいは観光客らしいかあるいは両方ともだ
事実14: 観光客らしい物は伝達係である
事実15: 仮になにかは胡散臭くないとすると「それは御祈り致すがしかし返済出来ない」ということは成り立たない
事実16: もしあの過剰反応が気付かさなくてその上胡散臭いということはないとすればあの買い掛けは胡散臭いということはない
事実17: もし「このフォーミュラは返済出来ない」ということは成り立つとしたら御祈り致す
事実18: その外国人選手は貰い泣きするし加えて胡麻味噌だ
事実19: もし仮にこのフォーミュラが申し訳無いかそれは返済出来るかもしくは両方ともであるならそれは進め易いということはない

仮説: あの買い掛けは気付かす
1. 仮定1: 以下のように仮定する。このフォーミュラは返済出来る
2. 仮定1から、推論1: "このフォーミュラは申し訳無いかそれは返済出来る"が導かれる
3. 推論1と事実19から、推論2: "このフォーミュラは進め易くない"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このフォーミュラは返済出来ない"が導かれる
6. 推論4と事実17から、推論5: "このフォーミュラは御祈り致す"が導かれる
7. 推論5と事実4から、推論6: "その左遷は胡散臭いということはない"が導かれる
8. 推論6と事実5から、推論7: "「あの買い掛けは気付かすしかつ野暮ったい」ということは事実だ"が導かれる
9. 推論7から、仮説が導かれる

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