Example

  1. Lois Lane knows superman flies
  2. Lois lane does not know that clark kent flies
  3. Therefore, superman != clark kent