Bob is blue. Bob is not green. Bob is nice. Bob is white. Dave is smart. Gary is not nice. Gary is white. If someone is young and nice then they are white. If someone is young and nice then they are smart.
Bob is green.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Bob is white.[(triple4)] Dave is smart.[(triple5)] Gary is not nice.[(triple6)] Gary is white.[(triple7)]