Bob is blue. Bob is cold. Bob is green. Bob is rough. Bob is smart. Bob is white. Bob is young. Erin is blue. Erin is cold. Erin is green. Erin is rough. Erin is smart. Erin is white. Erin is young. If Bob is green then Bob is smart. If something is rough then it is smart.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple3) -> rule1) OR ((triple4) -> rule2))] Bob is white.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12 OR ((triple11) -> rule2))] Erin is white.[(triple13)] Erin is young.[(triple14)]