Dave is not big. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Round, big things are rough. Quiet, round things are smart. If something is cold and not quiet then it is smart.
Dave is quiet.
@0: Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is not big.[(triple1)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7 OR ((triple4 triple6) -> rule2))]