Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is young. Big things are young.
Dave is quiet.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple1) -> rule1))]