Anne is cold. Anne is kind. Fiona is green. Fiona is not kind. Fiona is rough. Fiona is round. Fiona is young. If something is furry then it is young. If something is green and not round then it is young. Cold things are green.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Fiona is green.[(triple3)] Fiona is not kind.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Anne is green.[(((triple1) -> rule3))]