Gary is rough. Harry is big. Harry is round. Nice people are cold. Big people are not nice. If Harry is kind then Harry is not young. If Harry is big then Harry is round. Nice people are round. If someone is rough and not young then they are not round.
Harry is kind.
@0: Gary is rough.[(triple1)] Harry is big.[(triple2)] Harry is round.[(triple3 OR ((triple2) -> rule4))] @1: Harry is not nice.[(((triple2) -> rule2))]