このもにょもよLv.35は犯し易いしそれは感慨深い
fact1: もし仮に馴れ馴れしいモンスターが当て付けがましかないとしたらそれは感慨深い fact2: そのぴなぴにゃLv.72は心細くて更に馴れ馴れしい fact3: このもにょもよLv.35は犯し易い
fact1 -> int1: もし仮にこのもにょもよLv.35は馴れ馴れしい一方で当て付けがましかないとすれば感慨深い;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa};
$facts$ = fact1: もし仮に馴れ馴れしいモンスターが当て付けがましかないとしたらそれは感慨深い fact2: そのぴなぴにゃLv.72は心細くて更に馴れ馴れしい fact3: このもにょもよLv.35は犯し易い ; $hypothesis$ = このもにょもよLv.35は犯し易いしそれは感慨深い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__