Charlie is not green. Erin is blue. Harry is not red. If someone is green then they are quiet. Green people are quiet. If someone is red and not green then they are blue.
Charlie is green.
@0: Charlie is not green.[(triple1)] Erin is blue.[(triple2)] Harry is not red.[(triple3)]