Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is white. If someone is cold and nice then they are round. White, nice people are quiet.
Dave is nice.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple7 triple4) -> rule2))] Dave is round.[(triple6 OR ((triple1 triple4) -> rule1))] Dave is white.[(triple7)]