「「もしも彼女らしくないけど捕らえ難いとすると生温い」モンスターはいる」ということは事実でない
fact1: 仮にそのみちゃみいLv.10が引き難いしまた眩しいとしたらそのみちゃみいLv.10は事らしい fact2: 彼女らしいということはないし捕らえ難いモンスターは生温い
fact2 -> int1: このぴねぴにゅLv.19が彼女らしくないが捕らえ難いならば生温い; int1 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮にそのみちゃみいLv.10が引き難いしまた眩しいとしたらそのみちゃみいLv.10は事らしい fact2: 彼女らしいということはないし捕らえ難いモンスターは生温い ; $hypothesis$ = 「「もしも彼女らしくないけど捕らえ難いとすると生温い」モンスターはいる」ということは事実でない ; $proof$ = 
fact2 -> int1: このぴねぴにゅLv.19が彼女らしくないが捕らえ難いならば生温い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__