Paragraph

In my safe is a sheet of paper with two shapes drawn on it in colored crayon. One is a square, and the other is a triangle. Each shape is drawn in a single color. Suppose you believe me when I tell you that if the square is blue, then the triangle is green. What do you therefore know about the truth value of the following statements?

  1. The square and the triangle are both blue.

  2. The square and the triangle are both green.

  3. If the triangle is not green, then the square is not blue.

  4. If the triangle is green, then the square is blue.

  5. The square is not blue or the triangle is green.

in-context