Anne is cold. Anne is green. Anne is nice. Anne is smart. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is white. All green things are white.
Anne is blue.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is red.[(triple13)] Erin is smart.[(triple14)] Erin is white.[(triple15 OR ((triple11) -> rule1))] @1: Anne is white.[(((triple2) -> rule1))] Charlie is white.[(((triple7) -> rule1))]