If the universe is limited to these four cards it will always be possible to prove or disprove the hypothesis by turning over the A card and the 7 card. If these are but a subset of the cards available, it will be possible to disprove it but not to disprove it. If these are the full set, turning over either the A card xor [sic] the 7 card may disprove it but cannot prove it.