Bob is big. Bob is blue. Bob is green. Bob is not nice. Bob is red. Bob is round. Bob is not white. Gary is big. Gary is blue. Gary is green. Gary is red. Gary is round. If something is nice and not red then it is green. Nice, green things are round. If something is red and not blue then it is white.
Gary is not white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not nice.[(triple4)] Bob is not white.[(triple7)] Bob is red.[(triple5)] Bob is round.[(triple6)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)]