Anne is not big. Anne is blue. Anne is cold. Anne is not green. Anne is rough. Fiona is not big. Fiona is not quiet. If something is kind and not big then it is green. If Anne is quiet and Anne is kind then Anne is cold. All big, blue things are kind.
Fiona is blue.
@0: Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is not big.[(triple1)] Anne is not green.[(triple4)] Anne is rough.[(triple5)] Fiona is not big.[(triple6)] Fiona is not quiet.[(triple7)]