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