Anne is green. Charlie is cold. Erin is furry. Harry is furry. If Harry is green then Harry is red.
Harry is not red.
@0: Anne is green.[(triple1)] Charlie is cold.[(triple2)] Erin is furry.[(triple3)] Harry is furry.[(triple4)]