Anne is round. Dave is big. Dave is not green. Dave is nice. Dave is quiet. Dave is round. Dave is young. Erin is big. Erin is quiet. Erin is round. Erin is young. Gary is big. Gary is not green. Gary is quiet. Gary is round. If Dave is not round then Dave is young. If something is nice and not green then it is young. All smart things are big. If something is big and not green then it is nice. If something is young and not quiet then it is big. If something is round and not quiet then it is young. Green things are not big. If something is quiet and not young then it is not big.
Gary is smart.