自动推理中条件和结论的添加语法？

preposition

在超级画板使用过程中，自动推理时常常需要添加辅助条件和结论，但是却不容易找不到相关的语法规则介绍。例如：∠A+∠B+∠C=180度等较复杂的语句该如何添加？请大神帮助，最好能系统的介绍一下这类语法，谢谢！