Anne is not cold. Anne is not green. Anne is not nice. Dave is blue. Dave is smart. Fiona is cold. Fiona is nice. Nice people are green.
Fiona is cold.
@0: Anne is not cold.[(triple1)] Anne is not green.[(triple2)] Anne is not nice.[(triple3)] Dave is blue.[(triple4)] Dave is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] @1: Fiona is green.[(((triple7) -> rule1))]