Anne is blue. Anne is not cold. Anne is green. Anne is red. Anne is young. Dave is blue. Dave is not cold. Dave is green. Dave is red. Dave is round. Dave is smart. Dave is young. Erin is blue. Erin is not cold. Erin is not young. Harry is not cold. If something is green and blue then it is smart. Round things are red. If Erin is round and Erin is smart then Erin is not young. If something is blue and not red then it is cold. If Harry is green and Harry is cold then Harry is not smart. If Harry is blue and Harry is cold then Harry is smart.
Erin is round.
@0: Anne is blue.[(triple1)] Anne is green.[(triple3)] Anne is not cold.[(triple2)] Anne is red.[(triple4)] Anne is young.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple8)] Dave is not cold.[(triple7)] Dave is red.[(triple9 OR ((triple10) -> rule2))] Dave is round.[(triple10)] Dave is smart.[(triple11 OR ((triple8 triple6) -> rule1))] Dave is young.[(triple12)] Erin is blue.[(triple13)] Erin is not cold.[(triple14)] Erin is not young.[(triple15)] Harry is not cold.[(triple16)] @1: Anne is smart.[(((triple3 triple1) -> rule1))]