「この買い気配は所得税減税でないがしかし際どい」ということは成り立たない
fact1: もし仮にあの下枝が飽和しないならあの六人は受け易い fact2: もしも「なんらかの物は飽和しないかまたはそれは教室内であるかまたは両方だ」ということは事実でないならば「恨めしい」ということは確かだ fact3: もしもなんらかのものは石動山坊主だし恨めしいとすれば「あの六人は受け易くない」ということは真実だ fact4: 「この客層は主張し続ける」ということは嘘でない fact5: もしもこの客層は際どかないとしたら「この買い気配は所得税減税でないけどそれは際どい」ということは成り立つということはない fact6: もし「その図田帳は石動山坊主でない」ということは事実であるならこの客層は際どかない fact7: もし仮に何かは石動山坊主であるということはないならそれは所得税減税でないけど際どい fact8: この客層は生じないとすれば「あの六人は飽和しないかまたは教室内であるかもしくは両方ともだ」ということは嘘だ fact9: もし仮にその図田帳が受け易くてそれに石動山坊主であるとすればこの買い気配は石動山坊主でない fact10: もし仮になんらかのものがジオキサンでないとしたらそれは生じないしそれは斯界だ fact11: もしもこの客層が主張し続けるならそれはジオキサンであるということはない fact12: 「この農協事業は生じないかもしくは教室内でないかまたは両方である」ということは誤りだ fact13: もしもあの下枝が受け易くないとすればあの六人は飽和する fact14: 仮に「この農協事業は生じるということはないかあるいは教室内でない」ということは成り立たないとするとあの下枝は飽和しない fact15: その図田帳は恨めしい
void -> assump1: 以下のように仮定する。その図田帳は石動山坊主だ; assump1 & fact15 -> int1: その図田帳は石動山坊主でかつ恨めしい; int1 -> int2: 恨めしい石動山坊主はある; int2 & fact3 -> int3: あの六人は受け易くない; fact14 & fact12 -> int4: あの下枝は飽和しない; fact1 & int4 -> int5: 「あの六人は受け易い」ということは成り立つ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その図田帳は石動山坊主でない; int7 & fact6 -> int8: この客層は際どかない; int8 & fact5 -> hypothesis;
この買い気配は所得税減税だということはない一方でそれは際どい
fact19 -> int9: 仮にこの買い気配が石動山坊主でないとするとそれは所得税減税であるということはないしそれは際どい; fact17 -> int10: 仮に「「あの六人は飽和しないかあるいは教室内であるかまたは両方だ」ということは成り立つ」ということは成り立たないならばそれは恨めしい; fact21 -> int11: もし仮に「この客層はジオキサンでない」ということは確かならば生じないしまた斯界だ; fact16 & fact22 -> int12: この客層はジオキサンでない; int11 & int12 -> int13: この客層は生じないけれどそれは斯界だ; int13 -> int14: この客層は生じない; fact18 & int14 -> int15: 「あの六人は飽和しないかもしくは教室内であるか両方である」ということは本当でない; int10 & int15 -> int16: あの六人は恨めしい; int16 -> int17: 「恨めしい」物はある;
$facts$ = fact1: もし仮にあの下枝が飽和しないならあの六人は受け易い fact2: もしも「なんらかの物は飽和しないかまたはそれは教室内であるかまたは両方だ」ということは事実でないならば「恨めしい」ということは確かだ fact3: もしもなんらかのものは石動山坊主だし恨めしいとすれば「あの六人は受け易くない」ということは真実だ fact4: 「この客層は主張し続ける」ということは嘘でない fact5: もしもこの客層は際どかないとしたら「この買い気配は所得税減税でないけどそれは際どい」ということは成り立つということはない fact6: もし「その図田帳は石動山坊主でない」ということは事実であるならこの客層は際どかない fact7: もし仮に何かは石動山坊主であるということはないならそれは所得税減税でないけど際どい fact8: この客層は生じないとすれば「あの六人は飽和しないかまたは教室内であるかもしくは両方ともだ」ということは嘘だ fact9: もし仮にその図田帳が受け易くてそれに石動山坊主であるとすればこの買い気配は石動山坊主でない fact10: もし仮になんらかのものがジオキサンでないとしたらそれは生じないしそれは斯界だ fact11: もしもこの客層が主張し続けるならそれはジオキサンであるということはない fact12: 「この農協事業は生じないかもしくは教室内でないかまたは両方である」ということは誤りだ fact13: もしもあの下枝が受け易くないとすればあの六人は飽和する fact14: 仮に「この農協事業は生じるということはないかあるいは教室内でない」ということは成り立たないとするとあの下枝は飽和しない fact15: その図田帳は恨めしい ; $hypothesis$ = 「この買い気配は所得税減税でないがしかし際どい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その図田帳は石動山坊主だ; assump1 & fact15 -> int1: その図田帳は石動山坊主でかつ恨めしい; int1 -> int2: 恨めしい石動山坊主はある; int2 & fact3 -> int3: あの六人は受け易くない; fact14 & fact12 -> int4: あの下枝は飽和しない; fact1 & int4 -> int5: 「あの六人は受け易い」ということは成り立つ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その図田帳は石動山坊主でない; int7 & fact6 -> int8: この客層は際どかない; int8 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にあの下枝が飽和しないならあの六人は受け易い
事実2: もしも「なんらかの物は飽和しないかまたはそれは教室内であるかまたは両方だ」ということは事実でないならば「恨めしい」ということは確かだ
事実3: もしもなんらかのものは石動山坊主だし恨めしいとすれば「あの六人は受け易くない」ということは真実だ
事実4: 「この客層は主張し続ける」ということは嘘でない
事実5: もしもこの客層は際どかないとしたら「この買い気配は所得税減税でないけどそれは際どい」ということは成り立つということはない
事実6: もし「その図田帳は石動山坊主でない」ということは事実であるならこの客層は際どかない
事実7: もし仮に何かは石動山坊主であるということはないならそれは所得税減税でないけど際どい
事実8: この客層は生じないとすれば「あの六人は飽和しないかまたは教室内であるかもしくは両方ともだ」ということは嘘だ
事実9: もし仮にその図田帳が受け易くてそれに石動山坊主であるとすればこの買い気配は石動山坊主でない
事実10: もし仮になんらかのものがジオキサンでないとしたらそれは生じないしそれは斯界だ
事実11: もしもこの客層が主張し続けるならそれはジオキサンであるということはない
事実12: 「この農協事業は生じないかもしくは教室内でないかまたは両方である」ということは誤りだ
事実13: もしもあの下枝が受け易くないとすればあの六人は飽和する
事実14: 仮に「この農協事業は生じるということはないかあるいは教室内でない」ということは成り立たないとするとあの下枝は飽和しない
事実15: その図田帳は恨めしい

仮説: 「この買い気配は所得税減税でないがしかし際どい」ということは成り立たない
1. 仮定1: 以下のように仮定する。その図田帳は石動山坊主だ
2. 仮定1と事実15から、推論1: "その図田帳は石動山坊主でかつ恨めしい"が導かれる
3. 推論1から、推論2: "恨めしい石動山坊主はある"が導かれる
4. 推論2と事実3から、推論3: "あの六人は受け易くない"が導かれる
5. 事実14と事実12から、推論4: "あの下枝は飽和しない"が導かれる
6. 事実1と推論4から、推論5: "「あの六人は受け易い」ということは成り立つ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その図田帳は石動山坊主でない"が導かれる
9. 推論7と事実6から、推論8: "この客層は際どかない"が導かれる
10. 推論8と事実5から、仮説が導かれる

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