бір еквенцияны резолюция жүйесінде дәлелденетінін көрсету үшін осы секвенцияның терістеуі клаузальді формаға ауысады және оның сөйлемдеріне байланысты