Anne is red. Fiona is kind. If someone is quiet and kind then they are rough. If Fiona is rough and Fiona is smart then Fiona is white. All smart, kind people are green. If Anne is kind then Anne is white. If Fiona is kind and Fiona is rough then Fiona is quiet. All quiet, red people are green.
Anne is not green.
@0: Anne is red.[(triple1)] Fiona is kind.[(triple2)]