このまにまのLv.96は極まりないということはない
fact1: もしもこのまにまのLv.96が極まりなくないとしたらあのみちょみわLv.66は臭いしそれに小憎らしい fact2: このまにまのLv.96は臭い fact3: このまにまのLv.96が小憎らしいしその上臭い fact4: もし仮にこのまにまのLv.96が小憎らしいなら極まりない
fact3 -> int1: このまにまのLv.96は小憎らしい; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
あのみちょみわLv.66は小憎らしい
$facts$ = fact1: もしもこのまにまのLv.96が極まりなくないとしたらあのみちょみわLv.66は臭いしそれに小憎らしい fact2: このまにまのLv.96は臭い fact3: このまにまのLv.96が小憎らしいしその上臭い fact4: もし仮にこのまにまのLv.96が小憎らしいなら極まりない ; $hypothesis$ = このまにまのLv.96は極まりないということはない ; $proof$ = 
fact3 -> int1: このまにまのLv.96は小憎らしい; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __DISPROVED__