мат.логика

Проанализируйте следующее рассуждение на предмет их правильности.
Для этого выявите логические схемы, на которых они основаны, и выясните, справедливы ли они, используя метод резолюций: «Если он принадлежит к нашей компании, то он храбр, и на него можно положиться.
Он не принадлежит к нашей компании.
Значит, он не храбр или на него нельзя положиться». Верно ли это рассуждение?