「仮に「っ早くない」ということは事実だとしたら「「ふとするけどめでたしない」ということは成り立つ」ということは成り立つということはない」モンスターはいる
fact1: 「「もしも「っ早い」ということは本当だとしたら「ふとするし更にめでたしない」ということは事実と異なる」モンスターはいる」ということは本当である fact2: 仮にそのぽにゅぽにゅLv.0はっ早くないならば「ふとするがしかしめでたしない」ということは間違っている fact3: 「もし仮にっ早くないとするとふとするがしかしめでたしない」モンスターはいる
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「「もしも「っ早い」ということは本当だとしたら「ふとするし更にめでたしない」ということは事実と異なる」モンスターはいる」ということは本当である fact2: 仮にそのぽにゅぽにゅLv.0はっ早くないならば「ふとするがしかしめでたしない」ということは間違っている fact3: 「もし仮にっ早くないとするとふとするがしかしめでたしない」モンスターはいる ; $hypothesis$ = 「仮に「っ早くない」ということは事実だとしたら「「ふとするけどめでたしない」ということは成り立つ」ということは成り立つということはない」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__