Vitalsource Technologies, Inc. Consistent Preferences Approach To Deductive Reasoning In Games