Premise: Portal 2 . It is the sequel to Portal ( 2007 ) and was released on April 19 , 2011 , for Microsoft Windows , OS X , Linux , PlayStation 3 , and Xbox 360 .
Hypothesis: Portal 2 was released for Microsoft Windows in 2011.
Label: ENTAILMENT