Логическое умозаключение, в виде вывода, вытекающего из двух фраз-утверждений: у кошек четыре ноги, Муся – кошка, следовательно, у нее четыре ноги.