Gary is rough. If Gary is young then Gary is red. If someone is nice and rough then they are not red. If Gary is rough then Gary is not big. All big people are young. If Gary is round then Gary is young. If Gary is red then Gary is not nice.
Gary is not big.
@0: Gary is rough.[(triple1)] @1: Gary is not big.[(((triple1) -> rule3))]