Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Furry, rough people are nice.
Dave is furry.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple2 triple6) -> rule1))] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)]