Epistemic Syllogistic: First Steps