Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is white. If Dave is quiet then Dave is kind. All cold things are red.
Dave is quiet.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4 OR ((triple5) -> rule1))] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((triple2) -> rule2))] Dave is white.[(triple7)]