Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is young. All round people are green. All cold, quiet people are young. If someone is round and not green then they are young. Young people are kind. If someone is cold and not round then they are not kind. Quiet people are kind.
Anne is green.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple5) -> rule1))] Anne is kind.[(triple3 OR ((triple4) -> rule6) OR ((triple7) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule4))] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1 triple4) -> rule2))]