その国際人は御成る
fact1: もし仮にこの条文草案は体節であるとしたらそれは酷くないかまたは目論むかもしくは両方である fact2: 「もしこの条文草案が酷くないかあるいは目論むか両方であるならあの古里自然塾は生存し続けない」ということは確かだ fact3: あの古里自然塾は酷いということはない fact4: もしもその国際人が渋くないとしたらこの条文草案は体節であるしそれは御成る fact5: もしこの条文草案が生存し続けるとしたら目論むか酷いかどちらもだ fact6: この馬君は生存し続けるかまたは酷いか両方ともだ fact7: この条文草案は体節だ fact8: もし「この条文草案は御成らない」ということは本当であるとするとその国際人は拒否するし体節である fact9: もし仮にこの条文草案が御成らないかまたはそれが酷いとするとその国際人は拒否しない fact10: あの古里自然塾が生存し続けないならばこの馬君は生存し続ける一方で渋くない fact11: もしもこの馬君が渋くないとすればその国際人が拒否するしその上それは御成る
fact1 & fact7 -> int1: この条文草案は酷いということはないかそれは目論むかもしくは両方ともだ; int1 & fact2 -> int2: 「あの古里自然塾は生存し続けない」ということは確かである; int2 & fact10 -> int3: この馬君は生存し続けるがしかし渋くない; int3 -> int4: この馬君は渋くない; int4 & fact11 -> int5: その国際人は拒否するし御成る; int5 -> hypothesis;
$facts$ = fact1: もし仮にこの条文草案は体節であるとしたらそれは酷くないかまたは目論むかもしくは両方である fact2: 「もしこの条文草案が酷くないかあるいは目論むか両方であるならあの古里自然塾は生存し続けない」ということは確かだ fact3: あの古里自然塾は酷いということはない fact4: もしもその国際人が渋くないとしたらこの条文草案は体節であるしそれは御成る fact5: もしこの条文草案が生存し続けるとしたら目論むか酷いかどちらもだ fact6: この馬君は生存し続けるかまたは酷いか両方ともだ fact7: この条文草案は体節だ fact8: もし「この条文草案は御成らない」ということは本当であるとするとその国際人は拒否するし体節である fact9: もし仮にこの条文草案が御成らないかまたはそれが酷いとするとその国際人は拒否しない fact10: あの古里自然塾が生存し続けないならばこの馬君は生存し続ける一方で渋くない fact11: もしもこの馬君が渋くないとすればその国際人が拒否するしその上それは御成る ; $hypothesis$ = その国際人は御成る ; $proof$ = 
fact1 & fact7 -> int1: この条文草案は酷いということはないかそれは目論むかもしくは両方ともだ; int1 & fact2 -> int2: 「あの古里自然塾は生存し続けない」ということは確かである; int2 & fact10 -> int3: この馬君は生存し続けるがしかし渋くない; int3 -> int4: この馬君は渋くない; int4 & fact11 -> int5: その国際人は拒否するし御成る; int5 -> hypothesis; __PROVED__
事実1: もし仮にこの条文草案は体節であるとしたらそれは酷くないかまたは目論むかもしくは両方である
事実2: 「もしこの条文草案が酷くないかあるいは目論むか両方であるならあの古里自然塾は生存し続けない」ということは確かだ
事実3: あの古里自然塾は酷いということはない
事実4: もしもその国際人が渋くないとしたらこの条文草案は体節であるしそれは御成る
事実5: もしこの条文草案が生存し続けるとしたら目論むか酷いかどちらもだ
事実6: この馬君は生存し続けるかまたは酷いか両方ともだ
事実7: この条文草案は体節だ
事実8: もし「この条文草案は御成らない」ということは本当であるとするとその国際人は拒否するし体節である
事実9: もし仮にこの条文草案が御成らないかまたはそれが酷いとするとその国際人は拒否しない
事実10: あの古里自然塾が生存し続けないならばこの馬君は生存し続ける一方で渋くない
事実11: もしもこの馬君が渋くないとすればその国際人が拒否するしその上それは御成る

仮説: その国際人は御成る
1. 事実1と事実7から、推論1: "この条文草案は酷いということはないかそれは目論むかもしくは両方ともだ"が導かれる
2. 推論1と事実2から、推論2: "「あの古里自然塾は生存し続けない」ということは確かである"が導かれる
3. 推論2と事実10から、推論3: "この馬君は生存し続けるがしかし渋くない"が導かれる
4. 推論3から、推論4: "この馬君は渋くない"が導かれる
5. 推論4と事実11から、推論5: "その国際人は拒否するし御成る"が導かれる
6. 推論5から、仮説が導かれる

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