「あの日以後は畷でないけれどメンテナンス性能である」ということは成り立たない
fact1: もしその回廊が盛り返さないならばそれは灰色っぽいし大きい fact2: 仮に「なにがしかのものは把握し難くない一方でそれは盛り返す」ということは間違いであるとしたらそれは灰色っぽくない fact3: 灰色っぽくない物は畷でかつ大きい fact4: 「あの日以後は畷であるしおまけにそれはメンテナンス性能である」ということは成り立たない fact5: 「あの日以後は畷でないけれどそれはメンテナンス性能である」ということは偽だ fact6: 「この砲身はメンテナンス性能でないけどそれは使用し難い」ということは誤っている fact7: もし仮にあの日以後はトースターでないとしたら「それは把握し難くないしそれにそれは盛り返す」ということは成り立たない fact8: もしその損害金がトースターだとしたらその回廊は把握し難くない
fact5 -> hypothesis;
fact5 -> hypothesis;
あの日以後は畷であるということはないけどメンテナンス性能だ
$facts$ = fact1: もしその回廊が盛り返さないならばそれは灰色っぽいし大きい fact2: 仮に「なにがしかのものは把握し難くない一方でそれは盛り返す」ということは間違いであるとしたらそれは灰色っぽくない fact3: 灰色っぽくない物は畷でかつ大きい fact4: 「あの日以後は畷であるしおまけにそれはメンテナンス性能である」ということは成り立たない fact5: 「あの日以後は畷でないけれどそれはメンテナンス性能である」ということは偽だ fact6: 「この砲身はメンテナンス性能でないけどそれは使用し難い」ということは誤っている fact7: もし仮にあの日以後はトースターでないとしたら「それは把握し難くないしそれにそれは盛り返す」ということは成り立たない fact8: もしその損害金がトースターだとしたらその回廊は把握し難くない ; $hypothesis$ = 「あの日以後は畷でないけれどメンテナンス性能である」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしその回廊が盛り返さないならばそれは灰色っぽいし大きい
事実2: 仮に「なにがしかのものは把握し難くない一方でそれは盛り返す」ということは間違いであるとしたらそれは灰色っぽくない
事実3: 灰色っぽくない物は畷でかつ大きい
事実4: 「あの日以後は畷であるしおまけにそれはメンテナンス性能である」ということは成り立たない
事実5: 「あの日以後は畷でないけれどそれはメンテナンス性能である」ということは偽だ
事実6: 「この砲身はメンテナンス性能でないけどそれは使用し難い」ということは誤っている
事実7: もし仮にあの日以後はトースターでないとしたら「それは把握し難くないしそれにそれは盛り返す」ということは成り立たない
事実8: もしその損害金がトースターだとしたらその回廊は把握し難くない

仮説: 「あの日以後は畷でないけれどメンテナンス性能である」ということは成り立たない
1. 事実5から、仮説が導かれる

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