premise: A man in a checkered shirt pushes a red bin in front of him while wearing something on his head.
hypothesis: The shirt is checkered.
explanation_1: The reason why the main is pushing the red bin in front of him is because he is wearing the checkered shirt.
explanation_2: A checkered shirt is a shirt that is checkered.
explanation_3: Checkered shirt is a rephrasing of shirt is checkered.
premise_logic: exists e1 e2 s1 s2 x1 x2 x3 x4 x5 x6.(while(e1,e2) & Theme(e2,x5) & Actor(e2,x1) & v_wear(e2) & on(x5,x6) & n_head(x6) & of(x6,x1) & n_male(x1) & n_male(x1) & n_thing(x5) & Theme(e1,x3) & Actor(e1,x1) & v_push(e1) & in(x3,x4) & of(x4,x1) & n_front(x4) & n_bin(x3) & a_red(s2) & Theme(s2,x3) & in(x1,x2) & n_shirt(x2) & a_checkered(s1) & Theme(s1,x2) & n_man(x1))
hypothesis_logic: exists e1 x1.(n_shirt(x1) & Theme(e1,x1) & v_checker(e1))