20190514-Spring_Program / 65-logic_rules_of_inference