Anne is smart. Erin is green. Fiona is not kind. If something is red and not rough then it is nice. All red things are nice. Kind, rough things are green. All nice, kind things are smart. If something is red and not kind then it is not white. If something is nice and not smart then it is white.
Anne is smart.
@0: Anne is smart.[(triple1)] Erin is green.[(triple2)] Fiona is not kind.[(triple3)]