「仮に下の句だとすれば「体系化だということはない一方でもみもみする」ということは成り立たない」ものはある
fact1: もしもその長波長は上級ならば「合い過ぎるし照射する」ということは成り立たない fact2: もしもこのトイレメーカーは下の句であるならば「それは体系化でないけどもみもみする」ということは偽だ fact3: 仮にとあるものはもみもみするとしたら「調和し合わないけれど分宿する」ということは誤りである
fact2 -> hypothesis;
もし仮にこのトイレメーカーはもみもみすれば「調和し合うということはなくてかつそれは分宿する」ということは間違いだ
fact4 -> hypothesis;
$facts$ = fact1: もしもその長波長は上級ならば「合い過ぎるし照射する」ということは成り立たない fact2: もしもこのトイレメーカーは下の句であるならば「それは体系化でないけどもみもみする」ということは偽だ fact3: 仮にとあるものはもみもみするとしたら「調和し合わないけれど分宿する」ということは誤りである ; $hypothesis$ = 「仮に下の句だとすれば「体系化だということはない一方でもみもみする」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもその長波長は上級ならば「合い過ぎるし照射する」ということは成り立たない
事実2: もしもこのトイレメーカーは下の句であるならば「それは体系化でないけどもみもみする」ということは偽だ
事実3: 仮にとあるものはもみもみするとしたら「調和し合わないけれど分宿する」ということは誤りである

仮説: 「仮に下の句だとすれば「体系化だということはない一方でもみもみする」ということは成り立たない」ものはある
1. 事実2から、仮説が導かれる

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