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