Bob is blue. Bob is cold. Bob is furry. Bob is smart. Bob is white. Erin is blue. Erin is smart. Erin is white. Gary is furry. Gary is rough. Gary is smart. Gary is white. Cold people are smart.
Gary is not blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule1))] Bob is white.[(triple5)] Erin is blue.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Gary is furry.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)]