Önermenin çözümlemesine başlanırken önce ana eklem ve ana bileşen bulunur. Bu önermede ana eklem ʌ eklemidir. Bu eklemin çözümleme kuralı alt alta yazmayı gerektirir. Birinci öncül ve ikinci öncül alt alta yazılıp (1) kaynak numarasıyla belirtilir. Ardından (2) numaralı bileşik önermenin çözümüne geçilir. Bu önerme koşul önermesi olduğu için çatal açmayı gerektirir. Çözümlenecek bir önerme kalmadığı için çatalın sağında ve solunda aynı yol üzerinde çelişki olup olmadığına bakılır ve çelişen yollar kapatılır. En az bir yol açık olduğu için önerme TUTARLIDIR.