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