conclude by a prosyllogism