「もし仮に発表し合うとしたら与え易い」モンスターはいる
fact1: もしあるモンスターは発表し合えば与え易い fact2: とあるモンスターが衰えるとすると利き難い
fact1 -> int1: このぽねぽのLv.11が発表し合うとすると与え易い; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> {C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしあるモンスターは発表し合えば与え易い fact2: とあるモンスターが衰えるとすると利き難い ; $hypothesis$ = 「もし仮に発表し合うとしたら与え易い」モンスターはいる ; $proof$ = 
fact1 -> int1: このぽねぽのLv.11が発表し合うとすると与え易い; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> {C}{aa}; int1 -> hypothesis; __PROVED__