Anne is not cold. Anne is green. Anne is round. Charlie is round. Dave is blue. Dave is not cold. Dave is green. Dave is kind. Dave is nice. Dave is not smart. Erin is not blue. Erin is green. Erin is nice. Erin is not round. Erin is smart. If something is smart and not nice then it is kind. If something is smart and nice then it is cold. If Anne is green then Anne is not smart.
Erin is not blue.
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is round.[(triple3)] Charlie is round.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is not cold.[(triple6)] Dave is not smart.[(triple10)] Erin is green.[(triple12)] Erin is nice.[(triple13)] Erin is not blue.[(triple11)] Erin is not round.[(triple14)] Erin is smart.[(triple15)] @1: Anne is not smart.[(((triple2) -> rule3))] Erin is cold.[(((triple15 triple13) -> rule2))]