Dave is furry. Dave is not green. Dave is kind. Dave is nice. Dave is quiet. Dave is not red. Dave is round. If Dave is quiet and Dave is not nice then Dave is not round. If someone is green then they are quiet. If someone is green and nice then they are quiet. Red people are not furry. If someone is green then they are furry. If Dave is nice and Dave is not quiet then Dave is red. If someone is furry and not green then they are kind. If someone is red and not kind then they are round.
Dave is green.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple3 OR ((triple1 triple2) -> rule7))] Dave is nice.[(triple4)] Dave is not green.[(triple2)] Dave is not red.[(triple6)] Dave is quiet.[(triple5)] Dave is round.[(triple7)]