Bob is blue. Bob is green. Charlie is blue. Erin is green. Erin is smart. Gary is not red. Gary is not young. If something is red and not green then it is smart. All nice things are big.
Charlie is not blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Charlie is blue.[(triple3)] Erin is green.[(triple4)] Erin is smart.[(triple5)] Gary is not red.[(triple6)] Gary is not young.[(triple7)]