Syllopedia, categorical syllogism and logic reasoning