Anne is blue. Erin is smart. Gary is green. Gary is quiet. Gary is not red. Gary is not round. Harry is green. If someone is young then they are red. If someone is red and not green then they are not young.
Anne is quiet.
@0: Anne is blue.[(triple1)] Erin is smart.[(triple2)] Gary is green.[(triple3)] Gary is not red.[(triple5)] Gary is not round.[(triple6)] Gary is quiet.[(triple4)] Harry is green.[(triple7)]