Categorical_syllogism loading ...