Harry is rough. Harry is round. Harry is young. If something is young then it is round.
Harry is not round.
@0: Harry is rough.[(triple1)] Harry is round.[(triple2 OR ((triple3) -> rule1))] Harry is young.[(triple3)]