Gary is kind. Nice people are green. All kind, green people are nice. If Gary is nice and Gary is quiet then Gary is young. If Gary is smart and Gary is cold then Gary is kind. If Gary is cold then Gary is young. If someone is nice and kind then they are cold.
Gary is smart.
@0: Gary is kind.[(triple1)]