あのまにまのLv.50は許し難し
fact1: 「あのまにまゆLv.64は許し難し」ということは真実だ fact2: このまねまちょLv.89は許し難し fact3: あのまにまのLv.50が期待し難いならあのまにまゆLv.64は許し難し fact4: あのまにまのLv.50は細長い fact5: もしあのまにまゆLv.64が期待し難いとするとあのまにまのLv.50は許し難し fact6: あのまにまゆLv.64は期待し難い
fact6 -> int1: あのまにまゆLv.64は期待し難い; int1 & fact5 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: 「あのまにまゆLv.64は許し難し」ということは真実だ fact2: このまねまちょLv.89は許し難し fact3: あのまにまのLv.50が期待し難いならあのまにまゆLv.64は許し難し fact4: あのまにまのLv.50は細長い fact5: もしあのまにまゆLv.64が期待し難いとするとあのまにまのLv.50は許し難し fact6: あのまにまゆLv.64は期待し難い ; $hypothesis$ = あのまにまのLv.50は許し難し ; $proof$ = 
fact6 -> int1: あのまにまゆLv.64は期待し難い; int1 & fact5 -> hypothesis; __PROVED__
fact6 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __PROVED__