premise: A thin brunette woman lounges while reading on a rooftop overlooking a cityscape.
hypothesis: A fat blonde is eating a hot dog
explanation_1: The same woman cannot be a thin brunette as well as a fat blonde in appearance.
explanation_2: A thin brunette is not a fat blonde. A woman lounging and reading is not eating a hotdog.
explanation_3: a fat blonde is not a thin brunette
premise_logic: exists e3 e2 e1 s1 x1 x2 x3 x4 x5.(while(e1,e2) & on(e2,x3) & Theme(e3,x5) & Actor(e3,x4) & v_overlook(e3) & n_cityscape(x5) & (x3 = x4) & n_rooftop(x3) & Actor(e2,x1) & v_read(e2) & Actor(e1,x1) & v_lounge(e1) & n_woman(x1) & of(x1,x2) & n_brunette(x2) & a_thin(s1) & Theme(s1,x1))
hypothesis_logic: exists e1 s1 s2 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_dog(x2) & a_hot(s2) & Theme(s2,x2) & n_blonde(x1) & a_fat(s1) & Theme(s1,x1))