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