Bob is nice. Bob is rough. Dave is furry. Dave is green. Dave is kind. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Smart, furry things are rough. If Dave is big and Dave is green then Dave is kind.
Harry is furry.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is rough.[(triple11 OR ((triple12 triple7) -> rule1))] Harry is smart.[(triple12)]