Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. All furry things are nice. If Dave is furry and Dave is nice then Dave is kind.
Erin is not quiet.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple1) -> rule1))] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9 OR ((triple6) -> rule1))] Erin is quiet.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] @1: Dave is kind.[(((triple1 triple3) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule2))]