Bob is rough. Bob is smart. Erin is blue. Erin is cold. Erin is nice. Erin is rough. Erin is young. Gary is cold. Harry is blue. Harry is cold. All blue things are green. All green, rough things are blue. If something is cold then it is smart.
Erin is not blue.
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Gary is cold.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] @1: Erin is green.[(((triple3) -> rule1))] Erin is smart.[(((triple4) -> rule3))] Gary is smart.[(((triple8) -> rule3))] Harry is green.[(((triple9) -> rule1))] Harry is smart.[(((triple10) -> rule3))]