If we know that x's being true means that Y is also true, and if we know that Y is not true, then we know that ________. ________
1) Y must be true, after all x's being true must not mean that Y is false
2) Y must be false, after all x's being true must not mean that Y is true
3) Y can be either true or false, as there is no direct relation between x and Y
4) Cannot be determined based on the given information