Life have been very good to me.
Life has been terrible.
Life being very good and life being terrible are contradictory thoughts.
exists s1 x1.(n_person(x1) & ne_nam_life(x1) & r_very(s1) & to(s1,x1) & Theme(s1,x1) & a_good(s1))
exists s1 x1.(ne_nam_life(x1) & Theme(s1,x1) & a_terrible(s1))