Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. If someone is furry then they are nice. Nice, young people are kind.
Dave is furry.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple4 triple7) -> rule2) OR ((((triple2) -> rule1) triple7) -> rule2))] Dave is nice.[(triple4 OR ((triple2) -> rule1))] Dave is red.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]