Anne is cold. Bob is round. Dave is green. Harry is furry. Cold things are green. If something is furry and green then it is cold. If something is nice then it is rough. Green, round things are blue. If Anne is nice then Anne is round. Round, cold things are nice.
Dave is not green.
@0: Anne is cold.[(triple1)] Bob is round.[(triple2)] Dave is green.[(triple3)] Harry is furry.[(triple4)] @1: Anne is green.[(((triple1) -> rule1))]