Dave is red. Dave is round. Dave is young. Young, red people are smart.
Dave is not big.
@0: Dave is red.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] @1: Dave is smart.[(((triple3 triple1) -> rule1))]