あのもわもにょLv.12は姦しいしまた疲労し易い
fact1: 仮に「恙無い」モンスターはいるなら「あのもわもにょLv.12は姦しくて疲労し易い」ということは偽である fact2: 「姦しい」モンスターはいる fact3: 恙無いモンスターはいる
fact3 -> int1: 恙無いモンスターはいる; int1 & fact1 -> hypothesis;
fact3 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「恙無い」モンスターはいるなら「あのもわもにょLv.12は姦しくて疲労し易い」ということは偽である fact2: 「姦しい」モンスターはいる fact3: 恙無いモンスターはいる ; $hypothesis$ = あのもわもにょLv.12は姦しいしまた疲労し易い ; $proof$ = 
fact3 -> int1: 恙無いモンスターはいる; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis; __DISPROVED__