Anne is green. Dave is cold. Furry people are green. If Dave is kind and Dave is round then Dave is cold. Green people are blue. Round, blue people are cold. All green people are kind. All furry, blue people are rough.
Anne is not green.
@0: Anne is green.[(triple1)] Dave is cold.[(triple2)] @1: Anne is blue.[(((triple1) -> rule3))] Anne is kind.[(((triple1) -> rule5))]