Anne is big. Anne is cold. Anne is not kind. Anne is nice. Anne is not quiet. Anne is round. Anne is not young. If someone is quiet and not round then they are cold. Round, cold people are nice. If Anne is nice then Anne is big.
Anne is big.
@0: Anne is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple6 triple2) -> rule2)) -> rule3))] Anne is cold.[(triple2)] Anne is nice.[(triple4 OR ((triple6 triple2) -> rule2))] Anne is not kind.[(triple3)] Anne is not quiet.[(triple5)] Anne is not young.[(triple7)] Anne is round.[(triple6)]