この柴垣はそそり立たない
fact1: あの身の代金目的は汚くない fact2: 仮に「この楼上は手強い」ということは正しいとしたらこの柴垣はそそり立つ fact3: もし仮にあの身の代金目的が汚いけれどそれが昇進するということはないならそれは手強い fact4: もし「あの身の代金目的は私達メディアであるということはないしそれにそれは出展しない」ということは誤りならばこの楼上は上京しない fact5: もし仮にあの身の代金目的が出展するとすればこの楼上は上京するということはない fact6: もし仮にあの身の代金目的が汚くなくてしかも昇進しないとしたら「手強い」ということは成り立つ fact7: 「あの身の代金目的は私達メディアでないけれど出展する」ということは確かでない fact8: もしなにがしかのものは手強いならば「私達メディアでなくて更にそれは出展する」ということは成り立たない fact9: あの身の代金目的は汚くないし昇進しない fact10: もしもこの楼上が上京しないとすればこの柴垣はそそり立たない fact11: もし仮にあの身の代金目的は手強いなら「それは私達メディアでないがしかし出展する」ということは事実と異なる fact12: もしなにかは手強いとすると「私達メディアでないし出展しない」ということは成り立たない
fact12 -> int1: あの身の代金目的は手強いとしたら「それは私達メディアであるということはなくて出展しない」ということは誤っている; fact6 & fact9 -> int2: あの身の代金目的は手強い; int1 & int2 -> int3: 「あの身の代金目的は私達メディアでないし出展しない」ということは間違いだ; int3 & fact4 -> int4: この楼上は上京するということはない; int4 & fact10 -> hypothesis;
この柴垣はそそり立つ
$facts$ = fact1: あの身の代金目的は汚くない fact2: 仮に「この楼上は手強い」ということは正しいとしたらこの柴垣はそそり立つ fact3: もし仮にあの身の代金目的が汚いけれどそれが昇進するということはないならそれは手強い fact4: もし「あの身の代金目的は私達メディアであるということはないしそれにそれは出展しない」ということは誤りならばこの楼上は上京しない fact5: もし仮にあの身の代金目的が出展するとすればこの楼上は上京するということはない fact6: もし仮にあの身の代金目的が汚くなくてしかも昇進しないとしたら「手強い」ということは成り立つ fact7: 「あの身の代金目的は私達メディアでないけれど出展する」ということは確かでない fact8: もしなにがしかのものは手強いならば「私達メディアでなくて更にそれは出展する」ということは成り立たない fact9: あの身の代金目的は汚くないし昇進しない fact10: もしもこの楼上が上京しないとすればこの柴垣はそそり立たない fact11: もし仮にあの身の代金目的は手強いなら「それは私達メディアでないがしかし出展する」ということは事実と異なる fact12: もしなにかは手強いとすると「私達メディアでないし出展しない」ということは成り立たない ; $hypothesis$ = この柴垣はそそり立たない ; $proof$ = 
fact12 -> int1: あの身の代金目的は手強いとしたら「それは私達メディアであるということはなくて出展しない」ということは誤っている; fact6 & fact9 -> int2: あの身の代金目的は手強い; int1 & int2 -> int3: 「あの身の代金目的は私達メディアでないし出展しない」ということは間違いだ; int3 & fact4 -> int4: この楼上は上京するということはない; int4 & fact10 -> hypothesis; __PROVED__
事実1: あの身の代金目的は汚くない
事実2: 仮に「この楼上は手強い」ということは正しいとしたらこの柴垣はそそり立つ
事実3: もし仮にあの身の代金目的が汚いけれどそれが昇進するということはないならそれは手強い
事実4: もし「あの身の代金目的は私達メディアであるということはないしそれにそれは出展しない」ということは誤りならばこの楼上は上京しない
事実5: もし仮にあの身の代金目的が出展するとすればこの楼上は上京するということはない
事実6: もし仮にあの身の代金目的が汚くなくてしかも昇進しないとしたら「手強い」ということは成り立つ
事実7: 「あの身の代金目的は私達メディアでないけれど出展する」ということは確かでない
事実8: もしなにがしかのものは手強いならば「私達メディアでなくて更にそれは出展する」ということは成り立たない
事実9: あの身の代金目的は汚くないし昇進しない
事実10: もしもこの楼上が上京しないとすればこの柴垣はそそり立たない
事実11: もし仮にあの身の代金目的は手強いなら「それは私達メディアでないがしかし出展する」ということは事実と異なる
事実12: もしなにかは手強いとすると「私達メディアでないし出展しない」ということは成り立たない

仮説: この柴垣はそそり立たない
1. 事実12から、推論1: "あの身の代金目的は手強いとしたら「それは私達メディアであるということはなくて出展しない」ということは誤っている"が導かれる
2. 事実6と事実9から、推論2: "あの身の代金目的は手強い"が導かれる
3. 推論1と推論2から、推論3: "「あの身の代金目的は私達メディアでないし出展しない」ということは間違いだ"が導かれる
4. 推論3と事実4から、推論4: "この楼上は上京するということはない"が導かれる
5. 推論4と事実10から、仮説が導かれる

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