Bob is big. Bob is kind. Bob is smart. Dave is kind. Harry is big. Harry is rough. Harry is smart. Big, furry people are young. Big people are kind. If Bob is rough then Bob is blue.
Dave is kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((triple1) -> rule2))] Bob is smart.[(triple3)] Dave is kind.[(triple4)] Harry is big.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Harry is kind.[(((triple5) -> rule2))]