Anne is kind. Erin is green. Fiona is kind. Gary is furry. Blue things are white. If Anne is blue and Anne is white then Anne is cold.
Anne is not kind.
@0: Anne is kind.[(triple1)] Erin is green.[(triple2)] Fiona is kind.[(triple3)] Gary is furry.[(triple4)]