もしあの最終利益積み立て金額は仕来りでないとすると「それは赤っぽくなくて汚らわしくない」ということは誤りだ
fact1: 仮になにがしかの物は仕来りだとしたら「赤っぽくないし汚らわしくない」ということは偽である fact2: 仮に「なんらかの物は仕来りだということはない」ということは真実であるならば「それは赤っぽくないしその上それは汚らわしくない」ということは成り立たない fact3: なんらかの物が仕来りでないならばそれは赤っぽいということはないしそれは汚らわしいということはない fact4: 仮になんらかの物は仕来りでないならば「赤っぽい一方で汚らわしいということはない」ということは間違いだ
fact2 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物は仕来りだとしたら「赤っぽくないし汚らわしくない」ということは偽である fact2: 仮に「なんらかの物は仕来りだということはない」ということは真実であるならば「それは赤っぽくないしその上それは汚らわしくない」ということは成り立たない fact3: なんらかの物が仕来りでないならばそれは赤っぽいということはないしそれは汚らわしいということはない fact4: 仮になんらかの物は仕来りでないならば「赤っぽい一方で汚らわしいということはない」ということは間違いだ ; $hypothesis$ = もしあの最終利益積み立て金額は仕来りでないとすると「それは赤っぽくなくて汚らわしくない」ということは誤りだ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物は仕来りだとしたら「赤っぽくないし汚らわしくない」ということは偽である
事実2: 仮に「なんらかの物は仕来りだということはない」ということは真実であるならば「それは赤っぽくないしその上それは汚らわしくない」ということは成り立たない
事実3: なんらかの物が仕来りでないならばそれは赤っぽいということはないしそれは汚らわしいということはない
事実4: 仮になんらかの物は仕来りでないならば「赤っぽい一方で汚らわしいということはない」ということは間違いだ

仮説: もしあの最終利益積み立て金額は仕来りでないとすると「それは赤っぽくなくて汚らわしくない」ということは誤りだ
1. 事実2から、仮説が導かれる

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