Every person has a bike. If a person has a house then he has a car. If a person has a bike then he does not have a dog. If a person does not have a dog and has a car then he does not have a cat. John is a person and has a house. Mary is a person and has a cat.