tranny demon hacker on Nostr: but if `John saw Mary` is true, and `John saw Mary and Susan` is false, then it must ...

but if `John saw Mary` is true, and `John saw Mary and Susan` is false, then it must be because `John saw Susan` is false. that's a deductive fact