003 Syllogism of Formal Logic Theology (I)