Anne is white. Bob is cold. Bob is rough. Dave is green. Dave is white. Harry is cold. Harry is rough. If something is cold then it is white.
Bob is rough.
@0: Anne is white.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Dave is green.[(triple4)] Dave is white.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7)] @1: Bob is white.[(((triple2) -> rule1))] Harry is white.[(((triple6) -> rule1))]