Charlie is nice. Erin is not red. Gary is big. Harry is round. All quiet people are nice. If someone is smart and not big then they are green.
Gary is not green.
@0: Charlie is nice.[(triple1)] Erin is not red.[(triple2)] Gary is big.[(triple3)] Harry is round.[(triple4)]