Anne is furry. Anne is kind. Anne is nice. Anne is smart. Anne is young. Charlie is nice. Erin is furry. Gary is furry. Gary is smart. Gary is young. All red things are kind. If Charlie is young then Charlie is kind. Young, big things are furry.
Anne is not nice.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is nice.[(triple6)] Erin is furry.[(triple7)] Gary is furry.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)]