Bob is kind. Bob is not nice. Bob is red. Bob is not rough. Bob is smart. Bob is not white. Bob is young. Gary is kind. Gary is not nice. Gary is not red. Gary is not rough. Gary is smart. Gary is white. Gary is young. All nice things are smart. If something is nice then it is rough.
Bob is young.
@0: Bob is kind.[(triple1)] Bob is not nice.[(triple2)] Bob is not rough.[(triple4)] Bob is not white.[(triple6)] Bob is red.[(triple3)] Bob is smart.[(triple5)] Bob is young.[(triple7)] Gary is kind.[(triple8)] Gary is not nice.[(triple9)] Gary is not red.[(triple10)] Gary is not rough.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]