このぴにょぴねLv.84は決定すかまたはござんす
fact1: このぴにょぴねLv.84は限り無い fact2: 限り無くないモンスターはござんすということはない fact3: 仮にこのぴにょぴねLv.84が限り無いならそれはござんす
fact3 & fact1 -> int1: このぴにょぴねLv.84はござんす; int1 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 -> hypothesis;
「このぴにょぴねLv.84は決定すかもしくはござんす」ということは誤りだ
fact4 -> int2: もし仮にそのみえみねLv.93が限り無くないとしたらそのみえみねLv.93はござんさない;
$facts$ = fact1: このぴにょぴねLv.84は限り無い fact2: 限り無くないモンスターはござんすということはない fact3: 仮にこのぴにょぴねLv.84が限り無いならそれはござんす ; $hypothesis$ = このぴにょぴねLv.84は決定すかまたはござんす ; $proof$ = 
fact3 & fact1 -> int1: このぴにょぴねLv.84はござんす; int1 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{a}; int1 -> hypothesis; __PROVED__