pull down to refresh

(Wife=True) & (Life=Happy) => (Wife=Happy)
the converse of which is
(Wife=Unhappy) & (Wife=True) => (Life=Unhappy)
however
(Life=Happy) =/=> (Wife=True)
and moreover
(Wife=Happy) & (Wife=True) =/=> (Life=Happy)