Dave is blue. Dave is green. Dave is rough. If something is rough then it is big. If something is big then it is rough. If Dave is not big then Dave is not blue. If something is cold then it is not green. If Dave is not big then Dave is cold. If Dave is not cold then Dave is not green. If Dave is big and Dave is not cold then Dave is green. If something is young and not cold then it is red.
Dave is rough.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is rough.[(triple3)] @1: Dave is big.[(((triple3) -> rule1))]