このもゆもなLv.59は使用し難くない
fact1: もしもそのぷにょぷにゅLv.55が見苦しいとすると抜かす fact2: もし仮にそのぷにょぷにゅLv.55が抜かすならこのもゆもなLv.59は使用し難い fact3: 何らかのモンスターが与え難くないとしたら使用し難くなくてかつ再発し易いということはない fact4: そのぷにょぷにゅLv.55は見苦しい fact5: 「何らかのモンスターは使用し難くない」ということは偽でないなら見苦しいし抜かす
fact1 & fact4 -> int1: そのぷにょぷにゅLv.55は抜かす; int1 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
あのみのみよLv.60は見苦しい
fact7 -> int2: もしもあのみのみよLv.60が使用し難いということはないならそれは見苦しいししかも抜かす; fact6 -> int3: もし仮にあのみのみよLv.60が与え難くないとしたらあのみのみよLv.60は使用し難くないししかも再発し易くない;
$facts$ = fact1: もしもそのぷにょぷにゅLv.55が見苦しいとすると抜かす fact2: もし仮にそのぷにょぷにゅLv.55が抜かすならこのもゆもなLv.59は使用し難い fact3: 何らかのモンスターが与え難くないとしたら使用し難くなくてかつ再発し易いということはない fact4: そのぷにょぷにゅLv.55は見苦しい fact5: 「何らかのモンスターは使用し難くない」ということは偽でないなら見苦しいし抜かす ; $hypothesis$ = このもゆもなLv.59は使用し難くない ; $proof$ = 
fact1 & fact4 -> int1: そのぷにょぷにゅLv.55は抜かす; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__