Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции . Если Юра починит обогреватель, то в комнате будет тепло. Юра сможет починить обогреватель, только если у него будет свободное время. Сейчас в комнате тепло. Значит, у него было свободное время.