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