... the house, then John is not there.
- Contrapositive: T ... house, then Ghosts are not in the house. If ... house, then Aliens are not in the house. If ... if John or Bill, but not both, play on the same ... that John or Bill, but not both will be diagrammed as / ...