このぴちょぴにLv.93は分かち合えない
fact1: 晴々しいし加えて身軽いモンスターは分かち合えない fact2: もしも「そのぽゆぽにゃLv.56は分かち合える」ということは真実だとすればこのぴちょぴにLv.93は分かち合える
fact1 -> int1: 仮にこのぴちょぴにLv.93は晴々しいし身軽いとすれば分かち合えない;
fact1 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa};
このぴちょぴにLv.93は分かち合える
$facts$ = fact1: 晴々しいし加えて身軽いモンスターは分かち合えない fact2: もしも「そのぽゆぽにゃLv.56は分かち合える」ということは真実だとすればこのぴちょぴにLv.93は分かち合える ; $hypothesis$ = このぴちょぴにLv.93は分かち合えない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__