Bob is blue. Bob is not nice. Bob is rough. Bob is round. Bob is smart. Bob is white. Bob is not young. If something is nice and not smart then it is young. If Bob is white and Bob is nice then Bob is not young.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is not nice.[(triple2)] Bob is not young.[(triple7)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)]