「あのオレンジは画面内でなくて登頂でない」ということは誤っている
fact1: この非常用放水門が縺れないならあのオレンジは画面内でなくて登頂であるということはない fact2: 「あのオレンジは画面内でなくてかつ登頂でない」ということは間違っている fact3: 「あのオレンジは画面内であるがしかし登頂だということはない」ということは偽である fact4: もしもあのオレンジがちっちゃいならばこの密輸入は縺れるということはないしまた天下るということはない fact5: もし「この非常用放水門はちっちゃい一方でそれは天下らない」ということは偽だとするとそれは縺れない fact6: 「あのオレンジは印象深いけど画面内だということはない」ということは偽である fact7: もし何らかの物は縺れないならば「それは登板するということはないしおまけに登頂であるということはない」ということは成り立たない fact8: もし「この非常用放水門は毒々しかないかもしくは運転兵であるか両方である」ということは偽であるとすればそれは踏み出せる fact9: もし「踏み出せる」ものがあるならあのオレンジは踏み出せるかまたは小煩い fact10: もし何かは縺れないとすれば「それは画面内でなくて追加出来ない」ということは誤っている fact11: とある物が踏み出せるならちっちゃい fact12: 「その時限は画面内であるということはないがしかし積み増す」ということは誤っている fact13: 「あのオレンジは遊べないし登頂でない」ということは本当でない fact14: 「あのオレンジは画面内であるということはないけれど登頂である」ということは成り立つということはない fact15: 全ての物が毒々しいしその上運転兵だ fact16: 仮に毒々しいものは踏み出せるとしたら「小煩くない」ということは間違っていない fact17: 「あのオレンジは一笑するがしかし画面内でない」ということは成り立つということはない fact18: 仮に何かは小煩くないとすれば「ちっちゃくて更にそれは天下らない」ということは間違っている
fact2 -> hypothesis;
fact2 -> hypothesis;
あのオレンジは画面内であるということはなくてまた登頂でない
fact22 -> int1: もしもこの非常用放水門は小煩くないとしたら「ちっちゃいがしかし天下るということはない」ということは成り立たない; fact19 -> int2: この非常用放水門が毒々しいししかも踏み出せるとしたら小煩くない; fact20 -> int3: この非常用放水門は毒々しいしさらに運転兵である; int3 -> int4: この非常用放水門は毒々しい;
$facts$ = fact1: この非常用放水門が縺れないならあのオレンジは画面内でなくて登頂であるということはない fact2: 「あのオレンジは画面内でなくてかつ登頂でない」ということは間違っている fact3: 「あのオレンジは画面内であるがしかし登頂だということはない」ということは偽である fact4: もしもあのオレンジがちっちゃいならばこの密輸入は縺れるということはないしまた天下るということはない fact5: もし「この非常用放水門はちっちゃい一方でそれは天下らない」ということは偽だとするとそれは縺れない fact6: 「あのオレンジは印象深いけど画面内だということはない」ということは偽である fact7: もし何らかの物は縺れないならば「それは登板するということはないしおまけに登頂であるということはない」ということは成り立たない fact8: もし「この非常用放水門は毒々しかないかもしくは運転兵であるか両方である」ということは偽であるとすればそれは踏み出せる fact9: もし「踏み出せる」ものがあるならあのオレンジは踏み出せるかまたは小煩い fact10: もし何かは縺れないとすれば「それは画面内でなくて追加出来ない」ということは誤っている fact11: とある物が踏み出せるならちっちゃい fact12: 「その時限は画面内であるということはないがしかし積み増す」ということは誤っている fact13: 「あのオレンジは遊べないし登頂でない」ということは本当でない fact14: 「あのオレンジは画面内であるということはないけれど登頂である」ということは成り立つということはない fact15: 全ての物が毒々しいしその上運転兵だ fact16: 仮に毒々しいものは踏み出せるとしたら「小煩くない」ということは間違っていない fact17: 「あのオレンジは一笑するがしかし画面内でない」ということは成り立つということはない fact18: 仮に何かは小煩くないとすれば「ちっちゃくて更にそれは天下らない」ということは間違っている ; $hypothesis$ = 「あのオレンジは画面内でなくて登頂でない」ということは誤っている ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: この非常用放水門が縺れないならあのオレンジは画面内でなくて登頂であるということはない
事実2: 「あのオレンジは画面内でなくてかつ登頂でない」ということは間違っている
事実3: 「あのオレンジは画面内であるがしかし登頂だということはない」ということは偽である
事実4: もしもあのオレンジがちっちゃいならばこの密輸入は縺れるということはないしまた天下るということはない
事実5: もし「この非常用放水門はちっちゃい一方でそれは天下らない」ということは偽だとするとそれは縺れない
事実6: 「あのオレンジは印象深いけど画面内だということはない」ということは偽である
事実7: もし何らかの物は縺れないならば「それは登板するということはないしおまけに登頂であるということはない」ということは成り立たない
事実8: もし「この非常用放水門は毒々しかないかもしくは運転兵であるか両方である」ということは偽であるとすればそれは踏み出せる
事実9: もし「踏み出せる」ものがあるならあのオレンジは踏み出せるかまたは小煩い
事実10: もし何かは縺れないとすれば「それは画面内でなくて追加出来ない」ということは誤っている
事実11: とある物が踏み出せるならちっちゃい
事実12: 「その時限は画面内であるということはないがしかし積み増す」ということは誤っている
事実13: 「あのオレンジは遊べないし登頂でない」ということは本当でない
事実14: 「あのオレンジは画面内であるということはないけれど登頂である」ということは成り立つということはない
事実15: 全ての物が毒々しいしその上運転兵だ
事実16: 仮に毒々しいものは踏み出せるとしたら「小煩くない」ということは間違っていない
事実17: 「あのオレンジは一笑するがしかし画面内でない」ということは成り立つということはない
事実18: 仮に何かは小煩くないとすれば「ちっちゃくて更にそれは天下らない」ということは間違っている

仮説: 「あのオレンジは画面内でなくて登頂でない」ということは誤っている
1. 事実2から、仮説が導かれる

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