Gary is big. Gary is kind. Gary is not nice. Gary is not red. Gary is smart. Gary is not white. Gary is young. If something is kind and white then it is big. All big, white things are not young. If something is white and smart then it is kind. White things are kind. Red, kind things are nice. If something is red and not smart then it is nice. If something is nice and not red then it is white. If Gary is red then Gary is not young.
Gary is not red.
@0: Gary is big.[(triple1)] Gary is kind.[(triple2)] Gary is not nice.[(triple3)] Gary is not red.[(triple4)] Gary is not white.[(triple6)] Gary is smart.[(triple5)] Gary is young.[(triple7)]