Man kann aber auch so sagen: Wenn ich das Produkt zweier Sätze bilden kann, so können sie nicht die Sinne haben „a ist rot” und „a ist grün”.