そのぽにゃぽのLv.21は直り難い
fact1: このぷにゅぷのLv.40が合成しないとしたらそれはゲットするしそれにそれは利用し難い fact2: このぷにゅぷのLv.40がゲットするとすればそのぽにゃぽのLv.21は直り難い fact3: このぷにゅぷのLv.40は合成しない
fact1 & fact3 -> int1: このぷにゅぷのLv.40はゲットするし利用し難い; int1 -> int2: このぷにゅぷのLv.40はゲットする; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぷにゅぷのLv.40が合成しないとしたらそれはゲットするしそれにそれは利用し難い fact2: このぷにゅぷのLv.40がゲットするとすればそのぽにゃぽのLv.21は直り難い fact3: このぷにゅぷのLv.40は合成しない ; $hypothesis$ = そのぽにゃぽのLv.21は直り難い ; $proof$ = 
fact1 & fact3 -> int1: このぷにゅぷのLv.40はゲットするし利用し難い; int1 -> int2: このぷにゅぷのLv.40はゲットする; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact2 -> hypothesis; __PROVED__