「このぷえぷくLv.34はしょっぱいし懐かしい」ということは誤っている
fact1: このぷえぷくLv.34は起こし易くて加えて溶け易い fact2: このぷえぷくLv.34が起こし易いならこのぷえぷくLv.34はしょっぱい fact3: このぷえぷくLv.34は懐かしい
fact1 -> int1: このぷえぷくLv.34は起こし易い; int1 & fact2 -> int2: このぷえぷくLv.34はしょっぱい; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: このぷえぷくLv.34は起こし易くて加えて溶け易い fact2: このぷえぷくLv.34が起こし易いならこのぷえぷくLv.34はしょっぱい fact3: このぷえぷくLv.34は懐かしい ; $hypothesis$ = 「このぷえぷくLv.34はしょっぱいし懐かしい」ということは誤っている ; $proof$ = 
fact1 -> int1: このぷえぷくLv.34は起こし易い; int1 & fact2 -> int2: このぷえぷくLv.34はしょっぱい; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__