Charlie is cold. Charlie is nice. Charlie is not smart. Gary is green. Gary is not kind. Gary is not smart. Gary is young. If Charlie is kind and Charlie is not smart then Charlie is furry. If someone is kind and not smart then they are cold.
Gary is not young.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is not smart.[(triple3)] Gary is green.[(triple4)] Gary is not kind.[(triple5)] Gary is not smart.[(triple6)] Gary is young.[(triple7)]