Birinci sıradan mantıq, resmiy bir tilniñ örnegidir.