Gary is blue. Gary is rough. Gary is round. If someone is round then they are smart. If Gary is rough and Gary is red then Gary is smart. If Gary is round then Gary is not nice. If someone is not round then they are nice. All nice people are red. If someone is rough and not nice then they are green.
Gary is not rough.