Bob is not big. Bob is cold. Bob is furry. Bob is kind. Bob is not smart. Bob is white. Bob is young. Gary is not big. Gary is cold. Gary is furry. Gary is kind. Gary is not smart. Gary is white. Gary is young. Young people are white.
Bob is not white.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is not big.[(triple1)] Bob is not smart.[(triple5)] Bob is white.[(triple6 OR ((triple7) -> rule1))] Bob is young.[(triple7)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is not big.[(triple8)] Gary is not smart.[(triple12)] Gary is white.[(triple13 OR ((triple14) -> rule1))] Gary is young.[(triple14)]