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