このぷちゅぷやLv.49は真っ黒い
fact1: もしもこのぴちゅぴねLv.8が伝え難いとするとこのぷちゅぷやLv.49は真っ黒い fact2: 仮にこのぷちゅぷやLv.49が伝え難いとするとこのぴちゅぴねLv.8は真っ黒くないが限り無し fact3: 寒くないモンスターは限り無しかもしくは伝え難いかもしくは両方ともである fact4: むず痒いモンスターは寒くない fact5: もし仮にそのぷなぷゆLv.84が寒いとするとこのぷちゅぷやLv.49は伝え難い fact6: このぴちゅぴねLv.8は限り無し fact7: 仮にこのぴちゅぴねLv.8が限り無しならばこのぴちゅぴねLv.8は伝え難い
fact7 & fact6 -> int1: このぴちゅぴねLv.8は伝え難い; int1 & fact1 -> hypothesis;
fact7 & fact6 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あのぴにょぴよLv.41は限り無し
$facts$ = fact1: もしもこのぴちゅぴねLv.8が伝え難いとするとこのぷちゅぷやLv.49は真っ黒い fact2: 仮にこのぷちゅぷやLv.49が伝え難いとするとこのぴちゅぴねLv.8は真っ黒くないが限り無し fact3: 寒くないモンスターは限り無しかもしくは伝え難いかもしくは両方ともである fact4: むず痒いモンスターは寒くない fact5: もし仮にそのぷなぷゆLv.84が寒いとするとこのぷちゅぷやLv.49は伝え難い fact6: このぴちゅぴねLv.8は限り無し fact7: 仮にこのぴちゅぴねLv.8が限り無しならばこのぴちゅぴねLv.8は伝え難い ; $hypothesis$ = このぷちゅぷやLv.49は真っ黒い ; $proof$ = 
fact7 & fact6 -> int1: このぴちゅぴねLv.8は伝え難い; int1 & fact1 -> hypothesis; __PROVED__
fact7 & fact6 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__