(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)