Anne is kind. Anne is white. Erin is blue. All nice people are white. If Anne is round then Anne is kind. All kind, round people are not nice.
Anne is round.
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Erin is blue.[(triple3)]