「そのもゆものLv.16は見られ易いかまたは軽しかまたは両方ともだ」ということは間違っている
fact1: そのもゆものLv.16は若いけどだらし無くない fact2: もしも若いモンスターがだらし無くないなら軽し
fact2 -> int1: もしそのもゆものLv.16が若いけどだらし無くないとしたらそれは軽し; int1 & fact1 -> int2: そのもゆものLv.16は軽し; int2 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 -> hypothesis;
$facts$ = fact1: そのもゆものLv.16は若いけどだらし無くない fact2: もしも若いモンスターがだらし無くないなら軽し ; $hypothesis$ = 「そのもゆものLv.16は見られ易いかまたは軽しかまたは両方ともだ」ということは間違っている ; $proof$ = 
fact2 -> int1: もしそのもゆものLv.16が若いけどだらし無くないとしたらそれは軽し; int1 & fact1 -> int2: そのもゆものLv.16は軽し; int2 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 -> hypothesis; __DISPROVED__