あのみやみいLv.67は懐こくない
fact1: あのみやみいLv.67は尊しないし更に御詳しくない fact2: 仮に尊しないモンスターが御詳しくないなら懐こくない fact3: あのみやみいLv.67は御詳しくない fact4: もし「あのみやみいLv.67は尊しないがしかしそれは御詳しい」ということは真実であるならあのみやみいLv.67は懐こくない
fact2 -> int1: あのみやみいLv.67が尊しないしおまけに御詳しくないとするとあのみやみいLv.67は懐こくない; int1 & fact1 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> hypothesis;
$facts$ = fact1: あのみやみいLv.67は尊しないし更に御詳しくない fact2: 仮に尊しないモンスターが御詳しくないなら懐こくない fact3: あのみやみいLv.67は御詳しくない fact4: もし「あのみやみいLv.67は尊しないがしかしそれは御詳しい」ということは真実であるならあのみやみいLv.67は懐こくない ; $hypothesis$ = あのみやみいLv.67は懐こくない ; $proof$ = 
fact2 -> int1: あのみやみいLv.67が尊しないしおまけに御詳しくないとするとあのみやみいLv.67は懐こくない; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> hypothesis; __PROVED__