pit-biconditional-equation</a> defines the conditions under which a square is
breezy. Here we consider two other ways to describe this aspect of the
wumpus world.<br />

1.  We can write [diagnostic rule] leading from observed effects to hidden causes. For
    finding pits, the obvious diagnostic rules say that if a square is
    breezy, some adjacent square must contain a pit; and if a square is
    not breezy, then no adjacent square contains a pit. Write these two
    rules in first-order logic and show 