Fact families: Reasoning and Problem Solving