premise: While riding in a bus, one person has their arm around another. hypothesis: one dog runs.
contradiction: One cannot be riding a bus and riding a dog. Dogs also cannot put their arms around you.