Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is white. Dave is young. If Dave is round then Dave is white.
Dave is red.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple5) -> rule1))] Dave is young.[(triple7)]