inputs: hypothesis: Carrie Tomlinson was Mrs. John Bower's sister. premise: Belknap married and lost his first two wives, Cora LeRoy and Carrie Tomlinson, and married Mrs. John Bower, his second wife's sister.