Gary is young. If Gary is nice then Gary is green. If Gary is big and Gary is nice then Gary is not smart. Nice things are furry. All young, cold things are furry. Cold things are not furry. If Gary is not big then Gary is cold. All cold, nice things are green. If something is young and not furry then it is green.
Gary is not young.
@0: Gary is young.[(triple1)]