このもくもにLv.5はみっともないということはない
fact1: このぴわぴよLv.10は赤黒い fact2: もしこのもくもにLv.5が赤黒いならこのもくもにLv.5はみっともない fact3: このもわもゆLv.70が儚しとしたらこのもわもゆLv.70は開け始める fact4: このもくもにLv.5は赤黒い fact5: 仮にとあるモンスターがちっこいならみっともない fact6: 「手早くないモンスターはみっともなくないけど赤黒い」ということは確かだ
fact4 -> int1: このもくもにLv.5は赤黒い; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このもくもにLv.5はちっこいならば「みっともない」ということは成り立つ
fact7 -> hypothesis;
$facts$ = fact1: このぴわぴよLv.10は赤黒い fact2: もしこのもくもにLv.5が赤黒いならこのもくもにLv.5はみっともない fact3: このもわもゆLv.70が儚しとしたらこのもわもゆLv.70は開け始める fact4: このもくもにLv.5は赤黒い fact5: 仮にとあるモンスターがちっこいならみっともない fact6: 「手早くないモンスターはみっともなくないけど赤黒い」ということは確かだ ; $hypothesis$ = このもくもにLv.5はみっともないということはない ; $proof$ = 
fact4 -> int1: このもくもにLv.5は赤黒い; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__