このもよもよLv.0は毛深い
fact1: すべてのモンスターは商人らしくない fact2: もし「「醜いが溜まり易いということはない」ということは誤っている」モンスターがいるならこのぽわぽなLv.25は醜くない fact3: もしもあのぽえぽにゃLv.56が商人らしくないしその上聞き辛くないとするとこのもよもよLv.0は毛深くない fact4: このぽわぽなLv.25は醜い fact5: このぽわぽなLv.25は聞き辛くないけどそれは醜い fact6: もしこのぽわぽなLv.25が聞き辛くないとするとあのぽえぽにゃLv.56は商人らしくないし更に聞き辛くない
fact5 -> int1: このぽわぽなLv.25は聞き辛くない; int1 & fact6 -> int2: あのぽえぽにゃLv.56は商人らしくないし更に聞き辛くない; int2 & fact3 -> hypothesis;
fact5 -> int1: ¬{A}{a}; int1 & fact6 -> int2: (¬{C}{b} & ¬{A}{b}); int2 & fact3 -> hypothesis;
このもよもよLv.0は毛深い
fact8 -> int3: あのぽいぽよLv.45は商人らしいということはない;
$facts$ = fact1: すべてのモンスターは商人らしくない fact2: もし「「醜いが溜まり易いということはない」ということは誤っている」モンスターがいるならこのぽわぽなLv.25は醜くない fact3: もしもあのぽえぽにゃLv.56が商人らしくないしその上聞き辛くないとするとこのもよもよLv.0は毛深くない fact4: このぽわぽなLv.25は醜い fact5: このぽわぽなLv.25は聞き辛くないけどそれは醜い fact6: もしこのぽわぽなLv.25が聞き辛くないとするとあのぽえぽにゃLv.56は商人らしくないし更に聞き辛くない ; $hypothesis$ = このもよもよLv.0は毛深い ; $proof$ = 
fact5 -> int1: このぽわぽなLv.25は聞き辛くない; int1 & fact6 -> int2: あのぽえぽにゃLv.56は商人らしくないし更に聞き辛くない; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬{A}{a}; int1 & fact6 -> int2: (¬{C}{b} & ¬{A}{b}); int2 & fact3 -> hypothesis; __DISPROVED__