Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is white. Dave is young. All white things are quiet. White things are nice. If Dave is cold then Dave is white.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4 OR ((triple6) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Dave is quiet.[(triple5 OR ((triple6) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Dave is white.[(triple6 OR ((triple2) -> rule3))] Dave is young.[(triple7)]