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