Anne is blue. Anne is round. Dave is blue. All round, big things are blue. All red things are kind. If something is smart and round then it is rough.
Anne is not kind.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Dave is blue.[(triple3)]