Gary is not kind. Harry is not kind. Harry is young. If Harry is smart and Harry is nice then Harry is big.
Gary is kind.
@0: Gary is not kind.[(triple1)] Harry is not kind.[(triple2)] Harry is young.[(triple3)]