Charlie is furry. Charlie is green. Charlie is kind. Charlie is not smart. Charlie is white. Erin is furry. Erin is not green. Erin is kind. Erin is not smart. Erin is not white. Erin is young. Gary is furry. If something is green and cold then it is not young. Young, cold things are furry. If something is cold and not kind then it is smart. Smart, green things are white. If something is kind and smart then it is not white. Kind, cold things are green.
Gary is not smart.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not smart.[(triple4)] Charlie is white.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple8)] Erin is not green.[(triple7)] Erin is not smart.[(triple9)] Erin is not white.[(triple10)] Erin is young.[(triple11)] Gary is furry.[(triple12)]