Anne is green. Erin is not red. Fiona is not green. All red things are smart. Kind, rough things are green. Smart, kind things are red.
Fiona is not red.
@0: Anne is green.[(triple1)] Erin is not red.[(triple2)] Fiona is not green.[(triple3)]