そのぴにょぴにLv.75は攻撃し易い
fact1: 全てのモンスターは攻撃し易くてそれに忘れ果てる
fact1 -> int1: 「そのぴにょぴにLv.75は攻撃し易いししかもそれは忘れ果てる」ということは成り立つ; int1 -> hypothesis;
fact1 -> int1: ({A}{aa} & {B}{aa}); int1 -> hypothesis;
$facts$ = fact1: 全てのモンスターは攻撃し易くてそれに忘れ果てる ; $hypothesis$ = そのぴにょぴにLv.75は攻撃し易い ; $proof$ = 
fact1 -> int1: 「そのぴにょぴにLv.75は攻撃し易いししかもそれは忘れ果てる」ということは成り立つ; int1 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{aa} & {B}{aa}); int1 -> hypothesis; __PROVED__