Gary is smart. If Gary is green and Gary is smart then Gary is round. If someone is nice and not green then they are round. If Gary is nice and Gary is smart then Gary is not cold. If someone is furry and not smart then they are not nice. If someone is green and not nice then they are cold. If Gary is green and Gary is not round then Gary is white.
Gary is not white.
@0: Gary is smart.[(triple1)]