Charlie is furry. Dave is blue. Dave is rough. Dave is smart. Harry is big. Harry is white. Harry is young. All white things are big. If Charlie is blue and Charlie is young then Charlie is rough. White, furry things are rough.
Dave is smart.
@0: Charlie is furry.[(triple1)] Dave is blue.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Harry is big.[(triple5 OR ((triple6) -> rule1))] Harry is white.[(triple6)] Harry is young.[(triple7)]