В рассуждении:
Если
сейчас – день, то ответственность за
сохранность стада лежит на пастухе.
Если сейчас ­– не день (ночь), то
ответственность за сохранность стада
не лежит на пастухе, если и только если
стадо находится в доме хозяина. Значит,
если стадо не находится в доме хозяина,
то ответственность за стадо в любое
время суток несет пастухприведенных аргументов (поверьте, что они истинны) полностью достаточно для обоснования следствия