「もし仮に納得し難いかせこくないかまたは両方ともだとしたら珍しい」モンスターはいる
fact1: 行い易いモンスターは助長する fact2: 納得し難いかまたはせこくないモンスターは珍しい
fact2 -> int1: もしこのぽいぽくLv.52は納得し難いかあるいはせこくないならば「このぽいぽくLv.52は珍しい」ということは正しい; int1 -> hypothesis;
fact2 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 行い易いモンスターは助長する fact2: 納得し難いかまたはせこくないモンスターは珍しい ; $hypothesis$ = 「もし仮に納得し難いかせこくないかまたは両方ともだとしたら珍しい」モンスターはいる ; $proof$ = 
fact2 -> int1: もしこのぽいぽくLv.52は納得し難いかあるいはせこくないならば「このぽいぽくLv.52は珍しい」ということは正しい; int1 -> hypothesis; __PROVED__
fact2 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __PROVED__