If you use the Imp operator in Boolean expressions, False is only returned if the first expression evaluates to True and the second expression to False.
ブール型の表式に対して Imp 演算を行う場合、1 番目の表式が True と評価され、2 番目の表式が False と評価される場合、結果が False となります。