「めんど臭いならば「利用し難いかもしくは色っぽくないかまたはどちらもである」ということは間違いである」モンスターはいる
fact1: 「もし恐れ多いとすれば伝わり易い」モンスターはいる fact2: そのぽにょぽのLv.24はめんど臭いとすると「利用し難いかあるいは色っぽくないかもしくは両方だ」ということは嘘である fact3: 仮にそのぽにょぽのLv.24がめんど臭いとしたらそのぽにょぽのLv.24は色っぽい fact4: 「もしもめんど臭いとすれば利用し難いかもしくは色っぽいということはない」モンスターはいる
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「もし恐れ多いとすれば伝わり易い」モンスターはいる fact2: そのぽにょぽのLv.24はめんど臭いとすると「利用し難いかあるいは色っぽくないかもしくは両方だ」ということは嘘である fact3: 仮にそのぽにょぽのLv.24がめんど臭いとしたらそのぽにょぽのLv.24は色っぽい fact4: 「もしもめんど臭いとすれば利用し難いかもしくは色っぽいということはない」モンスターはいる ; $hypothesis$ = 「めんど臭いならば「利用し難いかもしくは色っぽくないかまたはどちらもである」ということは間違いである」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__