このみわみのLv.21は発憤しない
fact1: すべてのモンスターは怠いということはないか用心深い fact2: もしこのみわみのLv.21が怠くらないか用心深いとすればこのみわみのLv.21は書記する fact3: もしもこのみわみのLv.21が書記するとしたらこのみわみのLv.21は発憤する
fact1 -> int1: このみわみのLv.21は怠くらないかあるいは用心深いかあるいは両方ともだ; int1 & fact2 -> int2: 「このみわみのLv.21は書記する」ということは正しい; int2 & fact3 -> hypothesis;
fact1 -> int1: (¬{A}{aa} v {B}{aa}); int1 & fact2 -> int2: {C}{aa}; int2 & fact3 -> hypothesis;
$facts$ = fact1: すべてのモンスターは怠いということはないか用心深い fact2: もしこのみわみのLv.21が怠くらないか用心深いとすればこのみわみのLv.21は書記する fact3: もしもこのみわみのLv.21が書記するとしたらこのみわみのLv.21は発憤する ; $hypothesis$ = このみわみのLv.21は発憤しない ; $proof$ = 
fact1 -> int1: このみわみのLv.21は怠くらないかあるいは用心深いかあるいは両方ともだ; int1 & fact2 -> int2: 「このみわみのLv.21は書記する」ということは正しい; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{A}{aa} v {B}{aa}); int1 & fact2 -> int2: {C}{aa}; int2 & fact3 -> hypothesis; __DISPROVED__