premise: Group outside of ice cream place, decorated with giant cone, two innertubes. hypothesis: Group inside of ice cream place, decorated with a small cone.
contradiction: Outside and inside are different.