Gary is red. If something is rough and young then it is furry. Young things are not furry. All young things are nice. If something is big and not rough then it is not cold. If Gary is big then Gary is not cold. If something is cold and not furry then it is big.
Gary is not red.
@0: Gary is red.[(triple1)]