Dave is big. Harry is round. If something is round then it is rough. Round things are rough. All smart things are round.
Harry is round.
@0: Dave is big.[(triple1)] Harry is round.[(triple2)] @1: Harry is rough.[(((triple2) -> rule1) OR ((triple2) -> rule2))]