Dave is green. Green things are young. If Dave is smart and Dave is green then Dave is not cold. If Dave is blue and Dave is young then Dave is cold. If Dave is nice then Dave is not young. Young, nice things are smart. If something is blue and red then it is cold.
Dave is green.
@0: Dave is green.[(triple1)] @1: Dave is young.[(((triple1) -> rule1))]