Dave is big. Dave is not blue. Dave is cold. Dave is furry. Dave is rough. Dave is white. Dave is young. If someone is white then they are young.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is not blue.[(triple2)] Dave is rough.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple6) -> rule1))]