Dave is cold. Dave is green. Dave is young. If something is blue then it is nice. If Dave is nice and Dave is not young then Dave is big. All green, young things are blue. If something is big and green then it is cold. If something is nice and not cold then it is quiet. Nice things are quiet.
Dave is green.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is young.[(triple3)] @1: Dave is blue.[(((triple2 triple3) -> rule3))] @2: Dave is nice.[(((((triple2 triple3) -> rule3)) -> rule1))] @3: Dave is quiet.[(((((((triple2 triple3) -> rule3)) -> rule1)) -> rule6))]