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 smart.
@0: Charlie is nice.[(triple1)] Erin is not red.[(triple2)] Gary is big.[(triple3)] Harry is round.[(triple4)]