Даю много баллов! Помогите пожалуйста!

Перевірте правильність наступного міркування поліцейського детектива: «Якщо Джонс не зустрічав цієї ночі Сміта, то або Сміт був вбивцею, або Джонс бреше. Якщо Сміт був вбивцею, то Джонс не зустрічав Сміта цієї ночі, і вбивство мало місце після півночі. Якщо вбивство мало місце після півночі, то або Сміт був вбивцею, або Джонс бреше. Отже, Сміт був вбивцею».

Проверьте правильность следующего рассуждения полицейского детектива: «Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, или Джонс лжет. Если Смит был убийцей, то Джонс не встречал Смита этой ночью, и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, или Джонс лжет. Итак, Смит был убийцей ».