Dave is not young. Gary is round. Harry is young. If someone is round then they are not young. If someone is rough then they are young. If Dave is cold and Dave is not big then Dave is round.
Dave is not round.
@0: Dave is not young.[(triple1)] Gary is round.[(triple2)] Harry is young.[(triple3)] @1: Gary is not young.[(((triple2) -> rule1))]