"Только плохие люди обманывают или крадут" можно расписать логической формулой "A in (B or C)", где A - "плохой", "B" - обманывают, "С" - крадут. Тогда понятие "хороший", которое является отрицанием "плохого" будет выглядеть так: "not A in not (B or C)" - > "not A in (not B and not C)", т.е. словами "хорошие люди не воруют и не крадут". А раз Марина является хорошим человеком, то она не ворует и не крадет. При этом, как мне кажется, утверждение "Марина не крадет" все-таки является ТАКЖЕ правильным, потому что оно не противоречит тому, что Марина не ворует и не крадет, а является частью этого утверждения.
