Anne is kind. Anne is quiet. Anne is round. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is round. If Erin is quiet then Erin is nice. Kind, red things are green. If something is nice then it is red. All green, kind things are big. All red things are nice. If something is kind then it is nice.
Anne is not green.