このまねまえLv.74は移ろい易くない
fact1: このまねまえLv.74は心苦しい fact2: あのまえまゆLv.86が底深くないとするとそれは移ろい易いしかつ生き難い fact3: もし仮にこのまねまえLv.74が底深いとするとそれは移ろい易い fact4: このまねまえLv.74は底深いし加えて心苦しい
fact4 -> int1: このまねまえLv.74は底深い; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
あのまえまゆLv.86は移ろい易くて生き難い
$facts$ = fact1: このまねまえLv.74は心苦しい fact2: あのまえまゆLv.86が底深くないとするとそれは移ろい易いしかつ生き難い fact3: もし仮にこのまねまえLv.74が底深いとするとそれは移ろい易い fact4: このまねまえLv.74は底深いし加えて心苦しい ; $hypothesis$ = このまねまえLv.74は移ろい易くない ; $proof$ = 
fact4 -> int1: このまねまえLv.74は底深い; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__