Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is not smart. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is young. Harry is quiet. Harry is not round. Harry is smart. Harry is young. If someone is round then they are green.
Erin is not kind.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple5) -> rule1))] Anne is kind.[(triple3)] Anne is not smart.[(triple6)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is young.[(triple11)] Harry is not round.[(triple13)] Harry is quiet.[(triple12)] Harry is smart.[(triple14)] Harry is young.[(triple15)]