Логика
Проверить правильность рассуждения
Если Иван переутомился или болен, то он раздражен и у него болит голова. Если у него болит голова, то он пьет лекарство от головной боли. Иван сегодня не принимал лекарство от головной боли. Следовательно, Иван не болен.