「このみえみえLv.41は疎いしその上抑制し合う」ということは誤りだ
fact1: 御濃いモンスターは疎いけれど糞食らえない fact2: このみえみえLv.41は疎い fact3: 仮にこのまにゅまなLv.39が糞食らえるならこのみえみえLv.41は抑制し合う fact4: このまにゅまなLv.39は糞食らえる
fact3 & fact4 -> int1: このみえみえLv.41は抑制し合う; int1 & fact2 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
このまにゅまなLv.39は抑制し合う
fact5 -> int2: 仮にこのみえみえLv.41が御濃いなら疎いが糞食らえない;
$facts$ = fact1: 御濃いモンスターは疎いけれど糞食らえない fact2: このみえみえLv.41は疎い fact3: 仮にこのまにゅまなLv.39が糞食らえるならこのみえみえLv.41は抑制し合う fact4: このまにゅまなLv.39は糞食らえる ; $hypothesis$ = 「このみえみえLv.41は疎いしその上抑制し合う」ということは誤りだ ; $proof$ = 
fact3 & fact4 -> int1: このみえみえLv.41は抑制し合う; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact2 -> hypothesis; __DISPROVED__