そのぴいぴちゃLv.67は愛しい
fact1: そのぴいぴちゃLv.67は陰気臭くない fact2: もしむず痒いモンスターが陰気臭くないなら愛しくない fact3: そのぴいぴちゃLv.67はむず痒いけれど陰気臭くない fact4: そのぴいぴちゃLv.67がむず痒いしかつそれが陰気臭いとしたらそのぴいぴちゃLv.67は愛しくない fact5: 仮にあるモンスターはむず痒くて更に陰気臭いならば愛しくない
fact2 -> int1: 仮にそのぴいぴちゃLv.67がむず痒いけれど陰気臭くないならばそのぴいぴちゃLv.67は愛しいということはない; int1 & fact3 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact3 -> hypothesis;
$facts$ = fact1: そのぴいぴちゃLv.67は陰気臭くない fact2: もしむず痒いモンスターが陰気臭くないなら愛しくない fact3: そのぴいぴちゃLv.67はむず痒いけれど陰気臭くない fact4: そのぴいぴちゃLv.67がむず痒いしかつそれが陰気臭いとしたらそのぴいぴちゃLv.67は愛しくない fact5: 仮にあるモンスターはむず痒くて更に陰気臭いならば愛しくない ; $hypothesis$ = そのぴいぴちゃLv.67は愛しい ; $proof$ = 
fact2 -> int1: 仮にそのぴいぴちゃLv.67がむず痒いけれど陰気臭くないならばそのぴいぴちゃLv.67は愛しいということはない; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact3 -> hypothesis; __DISPROVED__