A Formal Investigation of Moral Facilitation -- Modeling Social and Individual Trust in