そのぴちょぴのLv.58は美しくない
fact1: 仮にそのぴちょぴのLv.58が分離独立するならそのぴちょぴのLv.58は外し易い fact2: そのぴちょぴのLv.58は分離独立するしおまけに持ち難い fact3: もし仮にそのぴちょぴのLv.58が外し易いならそのぴちょぴのLv.58は美しい
fact2 -> int1: そのぴちょぴのLv.58は分離独立する; int1 & fact1 -> int2: そのぴちょぴのLv.58は外し易い; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にそのぴちょぴのLv.58が分離独立するならそのぴちょぴのLv.58は外し易い fact2: そのぴちょぴのLv.58は分離独立するしおまけに持ち難い fact3: もし仮にそのぴちょぴのLv.58が外し易いならそのぴちょぴのLv.58は美しい ; $hypothesis$ = そのぴちょぴのLv.58は美しくない ; $proof$ = 
fact2 -> int1: そのぴちょぴのLv.58は分離独立する; int1 & fact1 -> int2: そのぴちょぴのLv.58は外し易い; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__