Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is smart. Charlie is quiet. Erin is blue. Erin is green. Erin is quiet. Erin is red. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Green, blue things are smart. If Charlie is blue then Charlie is cold. If Erin is smart and Erin is quiet then Erin is blue.
Gary is not blue.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Charlie is quiet.[(triple6)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] @1: Erin is smart.[(((triple8 triple7) -> rule1))] Gary is smart.[(((triple13 triple11) -> rule1))]