Anne is blue. Anne is quiet. Anne is round. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is white. Gary is quiet. Harry is blue. Harry is quiet. Harry is round. Harry is white. Round people are green. If Harry is blue and Harry is round then Harry is cold.
Gary is not quiet.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6 OR ((triple9) -> rule1))] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10)] Gary is quiet.[(triple11)] Harry is blue.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Anne is green.[(((triple3) -> rule1))] Harry is cold.[(((triple12 triple14) -> rule2))] Harry is green.[(((triple14) -> rule1))]