premise: Six males, four with shirts and two without, have taken a break from their construction work on a building.
hypothesis: A soccer team is standing outside of a building.
explanation_1: Doing construction on a building is contradictory to soccer players standing outside of a building.
explanation_2: A soccer team plays soccer, they do not work on a building. A soccer team consists of eleven males, not six males.
explanation_3: Construction work is not the same as playing soccer.
premise_logic: (x)
hypothesis_logic: exists e1 x1 x2 x3.(of(e1,x3) & n_building(x3) & r_outside(e1) & Actor(e1,x1) & v_stand(e1) & n_team(x1) & of(x1,x2) & n_soccer(x2))