Anne is blue. Anne is round. Anne is young. Gary is blue. Gary is furry. Gary is round. Gary is young. If someone is kind and round then they are red. If Gary is quiet and Gary is kind then Gary is furry. All kind, quiet people are red.
Gary is not young.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)]