Formal Theory of Commonsense Psychology