Print derived facts