Harry is big. Harry is rough. Harry is round. If Harry is big and Harry is rough then Harry is round. Rough things are smart. All round things are furry.
Harry is not quiet.
@0: Harry is big.[(triple1)] Harry is rough.[(triple2)] Harry is round.[(triple3 OR ((triple1 triple2) -> rule1))] @1: Harry is furry.[(((triple3) -> rule3) OR ((((triple1 triple2) -> rule1)) -> rule3))] Harry is smart.[(((triple2) -> rule2))]