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 kind.
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Erin is blue.[(triple3)]