Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is smart. Dave is white. Dave is young. If something is smart then it is quiet. If Dave is big then Dave is furry.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple1) -> rule2))] Dave is quiet.[(triple4 OR ((triple5) -> rule1))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]