そのぽねぽやLv.98は図々しい
fact1: そのぽねぽやLv.98は最小化するししかも甚だし fact2: もしもそのぽねぽやLv.98が甚だししおまけに相応しいとしたらそのぽねぽやLv.98は図々しくない fact3: そのぽねぽやLv.98は余儀無いし相応しい
fact1 -> int1: そのぽねぽやLv.98は甚だし; fact3 -> int2: そのぽねぽやLv.98は相応しい; int1 & int2 -> int3: そのぽねぽやLv.98は甚だしし相応しい; int3 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; fact3 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact2 -> hypothesis;
$facts$ = fact1: そのぽねぽやLv.98は最小化するししかも甚だし fact2: もしもそのぽねぽやLv.98が甚だししおまけに相応しいとしたらそのぽねぽやLv.98は図々しくない fact3: そのぽねぽやLv.98は余儀無いし相応しい ; $hypothesis$ = そのぽねぽやLv.98は図々しい ; $proof$ = 
fact1 -> int1: そのぽねぽやLv.98は甚だし; fact3 -> int2: そのぽねぽやLv.98は相応しい; int1 & int2 -> int3: そのぽねぽやLv.98は甚だしし相応しい; int3 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; fact3 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact2 -> hypothesis; __DISPROVED__