... house, then Tom is not there. If Aliens are in ... house, then John is not there. If Ghosts are in ... house, then Tom is not there. If Ghosts are in ... diagrammed as /J B, where contrapositive is J /B. But how ... about Tom. Is this correct? /J B --> T? If yes, ...