「もし仮に「仲睦まじいかあるいは優しか両方だ」ということは成り立たないとしたら薄汚いということはない」モンスターはいる
fact1: 「もし仮に仲睦まじいかまたは優しかもしくは両方であるなら薄汚くない」モンスターはいる fact2: もしも「そのぷにゅぷよLv.27は仲睦まじいか優しか両方だ」ということは成り立たないとしたらそのぷにゅぷよLv.27は薄汚くない fact3: 「仮に「成仏出来るかまたは見付け難いか両方だ」ということは間違いだとしたら動かし難い」モンスターはいる
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「もし仮に仲睦まじいかまたは優しかもしくは両方であるなら薄汚くない」モンスターはいる fact2: もしも「そのぷにゅぷよLv.27は仲睦まじいか優しか両方だ」ということは成り立たないとしたらそのぷにゅぷよLv.27は薄汚くない fact3: 「仮に「成仏出来るかまたは見付け難いか両方だ」ということは間違いだとしたら動かし難い」モンスターはいる ; $hypothesis$ = 「もし仮に「仲睦まじいかあるいは優しか両方だ」ということは成り立たないとしたら薄汚いということはない」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__