Dave is nice. Fiona is not cold. Harry is not rough. Red things are blue. All nice things are blue. If Fiona is blue then Fiona is green. All blue, kind things are nice. If something is kind then it is not cold. Cold, kind things are green.
Fiona is not green.
@0: Dave is nice.[(triple1)] Fiona is not cold.[(triple2)] Harry is not rough.[(triple3)] @1: Dave is blue.[(((triple1) -> rule2))]