...
1. If Aliens or Ghosts are in the house, then Tim ... is not there. If Aliens are in the house, then ... is not there. If Ghosts are in the house, then ... in the house, then Ghosts are in the house.
... be diagrammed as /J B, where contrapositive is J /B. But ...