Bob is cold. Bob is furry. Dave is cold. Dave is green. Dave is not red. Gary is young. Harry is young. If something is young then it is red.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is not red.[(triple5)] Gary is young.[(triple6)] Harry is young.[(triple7)] @1: Gary is red.[(((triple6) -> rule1))] Harry is red.[(((triple7) -> rule1))]