Bob is red. Dave is cold. If something is furry then it is red. All rough, young things are red. All young things are red. If something is cold then it is green. Furry, rough things are young. If something is young and quiet then it is red.
Dave is cold.
@0: Bob is red.[(triple1)] Dave is cold.[(triple2)] @1: Dave is green.[(((triple2) -> rule4))]