Anne is not white. Charlie is white. Erin is furry. Gary is furry. If something is smart then it is green. If Erin is white and Erin is not cold then Erin is quiet. If Erin is white then Erin is kind.
Anne is not green.
@0: Anne is not white.[(triple1)] Charlie is white.[(triple2)] Erin is furry.[(triple3)] Gary is furry.[(triple4)]