このもなもよLv.10は四角い
fact1: 毒々しいモンスターは四角い fact2: もしもこのまなまねLv.95が甲高いならこのもなもよLv.10は結び付き難い fact3: そのぷにぷよLv.8が甲高くないとしたらこのまなまねLv.95は四角くない一方でそれは結び付き難い fact4: このまなまねLv.95は甲高い fact5: このもなもよLv.10が結び付き難いとすればそれは四角い
fact2 & fact4 -> int1: このもなもよLv.10は結び付き難い; int1 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
「このもなもよLv.10は四角い」ということは誤りだ
$facts$ = fact1: 毒々しいモンスターは四角い fact2: もしもこのまなまねLv.95が甲高いならこのもなもよLv.10は結び付き難い fact3: そのぷにぷよLv.8が甲高くないとしたらこのまなまねLv.95は四角くない一方でそれは結び付き難い fact4: このまなまねLv.95は甲高い fact5: このもなもよLv.10が結び付き難いとすればそれは四角い ; $hypothesis$ = このもなもよLv.10は四角い ; $proof$ = 
fact2 & fact4 -> int1: このもなもよLv.10は結び付き難い; int1 & fact5 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact5 -> hypothesis; __PROVED__