Dave is big. Dave is cold. Dave is round. If Dave is big then Dave is green. If Dave is green and Dave is cold then Dave is big. If Dave is nice then Dave is smart.
Dave is nice.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is round.[(triple3)] @1: Dave is green.[(((triple1) -> rule1))]