Skill/Evaluating the truth of sentences expressing implication