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