Anne is cold. Anne is round. Anne is smart. Charlie is green. Charlie is smart. Fiona is green. Fiona is round. Harry is blue. Harry is cold. Harry is green. All smart, round people are nice. Cold people are nice.
Anne is not nice.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is green.[(triple4)] Charlie is smart.[(triple5)] Fiona is green.[(triple6)] Fiona is round.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Anne is nice.[(((triple1) -> rule2) OR ((triple3 triple2) -> rule1))] Harry is nice.[(((triple9) -> rule2))]