この改革は下がり目だ
fact1: もし仮にその開が直方体であるならばこの改革は下がり目である fact2: このバンクＳは面倒臭くなくてそれに押し易くない fact3: もしもこのバンクＳが面倒臭くないしそれが押し易くないならばそのラインは面倒臭くない fact4: もし仮にその開が下がり目であるとするとこの改革は直方体である fact5: 「この三国志は色好い」ということは間違いでない fact6: もしもそのラインが間人であるならばその開は描き込む fact7: 「気持ち良い」ものはある fact8: もしもこの伐採権料が色好いならその開は直方体だ fact9: もしも「「喘ぐがしかし心底でない」ということは偽な」物があるとしたらこの伐採権料は色好い fact10: 「気持ち良くない」ものはある fact11: もし「あるものは気持ち良いということはない一方で下がり目である」ということは成り立たないとすれば下がり目でない fact12: もし仮に何かは描き込むなら「色好いがしかし直方体でない」ということは間違いである fact13: 「この三国志は喘ぐし心底だ」ということは嘘である fact14: 容易くない物は間人であるかあるいは描き込む fact15: 仮にそのラインが面倒臭くないならそれは容易くない fact16: 「「下がり目でないかまたは心底でないかあるいはどちらもな」物はある」ということは本当であるならばあの三国志は下がり目でない fact17: もし「気持ち良くない」ものはあるとすれば「この三国志は喘ぐけれどそれは心底でない」ということは嘘だ fact18: 仮にあるものは色好くないなら「この伐採権料は心底であるけど下がり目でない」ということは間違いだ fact19: 仮に「その開は色好いがしかし直方体でない」ということは正しくないとすればこの伐採権料は喘がない fact20: もしもなんらかの物が喘がないならばそれは下がり目でないかあるいは心底でないかもしくは両方だ
fact10 & fact17 -> int1: 「この三国志は喘ぐけどそれは心底でない」ということは偽である; int1 -> int2: 「「喘ぐが心底でない」ということは成り立たない」ものはある; int2 & fact9 -> int3: この伐採権料は色好い; int3 & fact8 -> int4: その開は直方体だ; int4 & fact1 -> hypothesis;
この改革は下がり目でない
fact21 -> int5: 「仮に「この改革は気持ち良いということはないが下がり目である」ということは成り立たないとしたらこの改革は下がり目でない」ということは成り立つ; fact28 -> int6: 仮にこの伐採権料が喘がないとすればそれは下がり目だということはないかあるいは心底でないかあるいはどちらもだ; fact27 -> int7: もしその開は描き込めば「それは色好いがしかし直方体であるということはない」ということは嘘である; fact24 -> int8: もしそのラインが容易くないとするとそれは間人であるかあるいはそれは描き込む; fact26 & fact29 -> int9: そのラインは面倒臭くない; fact25 & int9 -> int10: そのラインは容易くない; int8 & int10 -> int11: そのラインは間人であるかあるいは描き込むかあるいは両方ともだ;
$facts$ = fact1: もし仮にその開が直方体であるならばこの改革は下がり目である fact2: このバンクＳは面倒臭くなくてそれに押し易くない fact3: もしもこのバンクＳが面倒臭くないしそれが押し易くないならばそのラインは面倒臭くない fact4: もし仮にその開が下がり目であるとするとこの改革は直方体である fact5: 「この三国志は色好い」ということは間違いでない fact6: もしもそのラインが間人であるならばその開は描き込む fact7: 「気持ち良い」ものはある fact8: もしもこの伐採権料が色好いならその開は直方体だ fact9: もしも「「喘ぐがしかし心底でない」ということは偽な」物があるとしたらこの伐採権料は色好い fact10: 「気持ち良くない」ものはある fact11: もし「あるものは気持ち良いということはない一方で下がり目である」ということは成り立たないとすれば下がり目でない fact12: もし仮に何かは描き込むなら「色好いがしかし直方体でない」ということは間違いである fact13: 「この三国志は喘ぐし心底だ」ということは嘘である fact14: 容易くない物は間人であるかあるいは描き込む fact15: 仮にそのラインが面倒臭くないならそれは容易くない fact16: 「「下がり目でないかまたは心底でないかあるいはどちらもな」物はある」ということは本当であるならばあの三国志は下がり目でない fact17: もし「気持ち良くない」ものはあるとすれば「この三国志は喘ぐけれどそれは心底でない」ということは嘘だ fact18: 仮にあるものは色好くないなら「この伐採権料は心底であるけど下がり目でない」ということは間違いだ fact19: 仮に「その開は色好いがしかし直方体でない」ということは正しくないとすればこの伐採権料は喘がない fact20: もしもなんらかの物が喘がないならばそれは下がり目でないかあるいは心底でないかもしくは両方だ ; $hypothesis$ = この改革は下がり目だ ; $proof$ = 
fact10 & fact17 -> int1: 「この三国志は喘ぐけどそれは心底でない」ということは偽である; int1 -> int2: 「「喘ぐが心底でない」ということは成り立たない」ものはある; int2 & fact9 -> int3: この伐採権料は色好い; int3 & fact8 -> int4: その開は直方体だ; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその開が直方体であるならばこの改革は下がり目である
事実2: このバンクＳは面倒臭くなくてそれに押し易くない
事実3: もしもこのバンクＳが面倒臭くないしそれが押し易くないならばそのラインは面倒臭くない
事実4: もし仮にその開が下がり目であるとするとこの改革は直方体である
事実5: 「この三国志は色好い」ということは間違いでない
事実6: もしもそのラインが間人であるならばその開は描き込む
事実7: 「気持ち良い」ものはある
事実8: もしもこの伐採権料が色好いならその開は直方体だ
事実9: もしも「「喘ぐがしかし心底でない」ということは偽な」物があるとしたらこの伐採権料は色好い
事実10: 「気持ち良くない」ものはある
事実11: もし「あるものは気持ち良いということはない一方で下がり目である」ということは成り立たないとすれば下がり目でない
事実12: もし仮に何かは描き込むなら「色好いがしかし直方体でない」ということは間違いである
事実13: 「この三国志は喘ぐし心底だ」ということは嘘である
事実14: 容易くない物は間人であるかあるいは描き込む
事実15: 仮にそのラインが面倒臭くないならそれは容易くない
事実16: 「「下がり目でないかまたは心底でないかあるいはどちらもな」物はある」ということは本当であるならばあの三国志は下がり目でない
事実17: もし「気持ち良くない」ものはあるとすれば「この三国志は喘ぐけれどそれは心底でない」ということは嘘だ
事実18: 仮にあるものは色好くないなら「この伐採権料は心底であるけど下がり目でない」ということは間違いだ
事実19: 仮に「その開は色好いがしかし直方体でない」ということは正しくないとすればこの伐採権料は喘がない
事実20: もしもなんらかの物が喘がないならばそれは下がり目でないかあるいは心底でないかもしくは両方だ

仮説: この改革は下がり目だ
1. 事実10と事実17から、推論1: "「この三国志は喘ぐけどそれは心底でない」ということは偽である"が導かれる
2. 推論1から、推論2: "「「喘ぐが心底でない」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実9から、推論3: "この伐採権料は色好い"が導かれる
4. 推論3と事実8から、推論4: "その開は直方体だ"が導かれる
5. 推論4と事実1から、仮説が導かれる

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