the placket is unprotective thing that is revolutionary.
sent1: the fact that the placket is both unprotective and revolutionary if the strongman is not unprotective is right. sent2: the placket is revolutionary if the strongman is not unprotective. sent3: the melamine is not splashy. sent4: the dealignment is a ecclesiasticism and is revolutionary if the placket is not a ecclesiasticism. sent5: the fact that the pawn is a kind of a Texarkana and it is aponeurotic is not correct. sent6: the dealignment is not hydropathic if that that the melamine is splashy and/or not nonretractile is not false is wrong. sent7: that something is unprotective and it is revolutionary is not true if it is not nonretractile. sent8: if the dealignment is not a ecclesiasticism then the strongman is not unprotective. sent9: if that the dealignment is a grounder is incorrect then the melamine does not nominate or it is a ecclesiasticism or both. sent10: if something that does raven camel does aurify seeker then the dealignment is not a grounder. sent11: that the pawn is not a kind of a Texarkana and is aponeurotic is not correct. sent12: the fact that the melamine is either splashy or not nonretractile or both is not right if the knockoff is not nonretractile. sent13: if something is not hydropathic then it is not a ecclesiasticism. sent14: if there is something such that the fact that it is not a Texarkana and it is aponeurotic is wrong then the knockoff is not nonretractile. sent15: the strongman ravens camel and it aurifies seeker. sent16: if there is something such that it is a Texarkana then the knockoff is not nonretractile. sent17: the knockoff is not hydropathic if the melamine either does not nominate or is a ecclesiasticism or both. sent18: there is something such that the fact that it is a Texarkana and it is aponeurotic is wrong.
sent11 -> int1: there is something such that that it is not a Texarkana but aponeurotic does not hold.; int1 & sent14 -> int2: the knockoff is not nonretractile.; int2 & sent12 -> int3: the fact that the melamine is splashy and/or it is not nonretractile is incorrect.; int3 & sent6 -> int4: the dealignment is not hydropathic.; sent13 -> int5: the dealignment is not a ecclesiasticism if it is not hydropathic.; int4 & int5 -> int6: the dealignment is not a ecclesiasticism.; int6 & sent8 -> int7: the fact that the strongman is not unprotective is not incorrect.; int7 & sent1 -> hypothesis;
the fact that the fact that the placket is both unprotective and revolutionary is right does not hold.
sent7 -> int8: if the placket is not nonretractile then the fact that it is unprotective and it is revolutionary is not true.; sent15 -> int9: something ravens camel and it does aurify seeker.; int9 & sent10 -> int10: the dealignment is not a grounder.; sent9 & int10 -> int11: the melamine does not nominate and/or is a ecclesiasticism.; sent17 & int11 -> int12: the knockoff is not hydropathic.; int12 -> int13: there exists something such that it is not hydropathic.;
$hypothesis$ = the placket is unprotective thing that is revolutionary. ; $context$ = sent1: the fact that the placket is both unprotective and revolutionary if the strongman is not unprotective is right. sent2: the placket is revolutionary if the strongman is not unprotective. sent3: the melamine is not splashy. sent4: the dealignment is a ecclesiasticism and is revolutionary if the placket is not a ecclesiasticism. sent5: the fact that the pawn is a kind of a Texarkana and it is aponeurotic is not correct. sent6: the dealignment is not hydropathic if that that the melamine is splashy and/or not nonretractile is not false is wrong. sent7: that something is unprotective and it is revolutionary is not true if it is not nonretractile. sent8: if the dealignment is not a ecclesiasticism then the strongman is not unprotective. sent9: if that the dealignment is a grounder is incorrect then the melamine does not nominate or it is a ecclesiasticism or both. sent10: if something that does raven camel does aurify seeker then the dealignment is not a grounder. sent11: that the pawn is not a kind of a Texarkana and is aponeurotic is not correct. sent12: the fact that the melamine is either splashy or not nonretractile or both is not right if the knockoff is not nonretractile. sent13: if something is not hydropathic then it is not a ecclesiasticism. sent14: if there is something such that the fact that it is not a Texarkana and it is aponeurotic is wrong then the knockoff is not nonretractile. sent15: the strongman ravens camel and it aurifies seeker. sent16: if there is something such that it is a Texarkana then the knockoff is not nonretractile. sent17: the knockoff is not hydropathic if the melamine either does not nominate or is a ecclesiasticism or both. sent18: there is something such that the fact that it is a Texarkana and it is aponeurotic is wrong. ; $proof$ = 
sent11 -> int1: there is something such that that it is not a Texarkana but aponeurotic does not hold.; int1 & sent14 -> int2: the knockoff is not nonretractile.; int2 & sent12 -> int3: the fact that the melamine is splashy and/or it is not nonretractile is incorrect.; int3 & sent6 -> int4: the dealignment is not hydropathic.; sent13 -> int5: the dealignment is not a ecclesiasticism if it is not hydropathic.; int4 & int5 -> int6: the dealignment is not a ecclesiasticism.; int6 & sent8 -> int7: the fact that the strongman is not unprotective is not incorrect.; int7 & sent1 -> hypothesis; __PROVED__