もし仮に「「その為替差損は安アパートでないかまたはそれは堆いかまたはどちらもである」ということは本当だということはない」ということは嘘でないならばそれは新思潮だ
fact1: もしあのダウンライトが高まるということはないかあるいは堆いならば五人以下である fact2: もし仮に「なんらかの物は安アパートであるかあるいは堆い」ということは成り立たないとすればそれは新思潮である fact3: もしも「何かは安アパートでないかまたはそれは堆い」ということは成り立たないとしたら新思潮だ fact4: もしある物は安アパートでないかまたは堆いかもしくは両方ともであるとしたらそれは新思潮だ fact5: もし「その為替差損は安アパートでないかリンク先であるかもしくは両方である」ということは間違いならそれは逃れ難い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしあのダウンライトが高まるということはないかあるいは堆いならば五人以下である fact2: もし仮に「なんらかの物は安アパートであるかあるいは堆い」ということは成り立たないとすればそれは新思潮である fact3: もしも「何かは安アパートでないかまたはそれは堆い」ということは成り立たないとしたら新思潮だ fact4: もしある物は安アパートでないかまたは堆いかもしくは両方ともであるとしたらそれは新思潮だ fact5: もし「その為替差損は安アパートでないかリンク先であるかもしくは両方である」ということは間違いならそれは逃れ難い ; $hypothesis$ = もし仮に「「その為替差損は安アパートでないかまたはそれは堆いかまたはどちらもである」ということは本当だということはない」ということは嘘でないならばそれは新思潮だ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしあのダウンライトが高まるということはないかあるいは堆いならば五人以下である
事実2: もし仮に「なんらかの物は安アパートであるかあるいは堆い」ということは成り立たないとすればそれは新思潮である
事実3: もしも「何かは安アパートでないかまたはそれは堆い」ということは成り立たないとしたら新思潮だ
事実4: もしある物は安アパートでないかまたは堆いかもしくは両方ともであるとしたらそれは新思潮だ
事実5: もし「その為替差損は安アパートでないかリンク先であるかもしくは両方である」ということは間違いならそれは逃れ難い

仮説: もし仮に「「その為替差損は安アパートでないかまたはそれは堆いかまたはどちらもである」ということは本当だということはない」ということは嘘でないならばそれは新思潮だ
1. 事実3から、仮説が導かれる

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