Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is smart. Round, big people are smart.
Dave is not smart.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7 OR ((triple6 triple1) -> rule1))]