Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. If something is furry and red then it is round. All nice, cold things are quiet.
Dave is not nice.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple3 triple1) -> rule2))] Dave is red.[(triple5)] Dave is round.[(triple6 OR ((triple2 triple5) -> rule1))] Dave is white.[(triple7)]