Anne is cold. Anne is kind. Anne is young. Dave is cold. Dave is green. Fiona is green. Fiona is rough. If someone is cold then they are kind.
Dave is not kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule1))] Anne is young.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Fiona is green.[(triple6)] Fiona is rough.[(triple7)] @1: Dave is kind.[(((triple4) -> rule1))]