solve syllogism without venn diagram