Fact + Rule = Inferencedrop all stereotype and choose your bottom logics from the mountain of history and make your own system how you interpretation of worldLogic NotionLogic FieldLogic ObjectLogic Term LogicsPredicate LogicFormal LogicPropositional LogicBivalent Logic