Dave is kind. Dave is nice. Dave is smart. Dave is young. Erin is nice. Erin is smart. Gary is young. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is smart. Kind things are furry.
Dave is smart.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Erin is nice.[(triple5)] Erin is smart.[(triple6)] Gary is young.[(triple7)] Harry is furry.[(triple8 OR ((triple10) -> rule1))] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is smart.[(triple12)] @1: Dave is furry.[(((triple1) -> rule1))]