Paragraph
  1. \(P \wedge Q\text{.}\)

  2. \(P \imp \neg Q\text{.}\)

  3. Jack passed math or Jill passed math (or both).

  4. If Jack and Jill did not both pass math, then Jill did.

    1. Nothing else.

    2. Jack did not pass math either.

in-context