Dave is blue. Harry is green. If Harry is red and Harry is young then Harry is cold. All red things are white. If something is white then it is not cold. If something is blue then it is young. If Harry is cold then Harry is green. All green things are red. If something is green then it is red. If Harry is cold and Harry is not blue then Harry is white.
Dave is young.
@0: Dave is blue.[(triple1)] Harry is green.[(triple2)] @1: Dave is young.[(((triple1) -> rule4))] Harry is red.[(((triple2) -> rule6) OR ((triple2) -> rule7))] @2: Harry is white.[(((((triple2) -> rule6)) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] @3: Harry is not cold.[(((((((triple2) -> rule6)) -> rule2)) -> rule3) OR ((((((triple2) -> rule7)) -> rule2)) -> rule3))]