Dave is furry. Dave is kind. Dave is nice. Dave is smart. Dave is young. Gary is kind. Harry is furry. Red people are furry. Furry, smart people are quiet. Nice, young people are quiet.
Dave is not young.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Gary is kind.[(triple6)] Harry is furry.[(triple7)] @1: Dave is quiet.[(((triple1 triple4) -> rule2) OR ((triple3 triple5) -> rule3))]