Added alternative entails method (entails2), to validate my entails method.