Statistical_syllogism loading ...