... the house, then Tom is not there. If Aliens are ... the house, then John is not there. If Ghosts are ... the house, then Tom is not there. If Ghosts are ... in the house, then John is not there.
- Contrapositive: ... or Bill, but not both, play on the same team as ...