オタクに優しい ∧ ギャル = φ だし、
ギャル ∧ オープンカーに乗っている = φ なのよ。