the massicot is not a effector or it does not bind Sikorsky or both.
sent1: the dot does not bind Sikorsky if that the guerrilla does not frisk xenolith and is a kind of a supermodel is not right. sent2: the polack does bind Sikorsky and is illegitimate. sent3: the polack is not a effector if the fact that that the dot does not frisk xenolith and is a kind of a supermodel is not incorrect does not hold. sent4: if the fact that the dot does not frisk xenolith is right either the massicot does not frisk xenolith or it is not a kind of a effector or both. sent5: that if the guerrilla does frisk xenolith then the dot interposes is correct. sent6: if something interposes and does pique Stockton then it is not a kind of a supermodel. sent7: The Stockton piques guerrilla. sent8: if the scanner does not bind bimester then it is not a supermodel and/or does not frisk xenolith. sent9: the fact that the fact that something is not a effector and/or it does not bind Sikorsky is not false does not hold if it does not tame. sent10: if the guerrilla is not a supermodel the fact that the dot does not frisk xenolith and is a supermodel does not hold. sent11: if the scanner tames the guerrilla interposes. sent12: if there is something such that that it does frisk stiletto and it is a botulin does not hold the scanner does not bind bimester. sent13: there is something such that the fact that it frisks stiletto and it is a botulin is not correct. sent14: the scanner is not quiet. sent15: the scanner tames. sent16: if the polack is not a kind of a effector the massicot is not a kind of a effector and/or it does not bind Sikorsky. sent17: the cyberart is a supermodel. sent18: if something is not a supermodel that it does not pique Stockton and it does not interpose is wrong. sent19: the dot is tame. sent20: either the massicot is not a effector or it is not a kind of a supermodel or both.
sent11 & sent15 -> int1: the guerrilla interposes.; sent6 -> int2: the guerrilla is not a kind of a supermodel if it interposes and does pique Stockton.;
the fact that that the massicot is not a effector or it does not bind Sikorsky or both is not false does not hold.
sent9 -> int3: the fact that either the massicot is not a effector or it does not bind Sikorsky or both does not hold if the fact that it is not tame is not false.; sent18 -> int4: that the scanner does not pique Stockton and does not interpose is wrong if it is not a kind of a supermodel.; sent13 & sent12 -> int5: the scanner does not bind bimester.; sent8 & int5 -> int6: either the scanner is not a supermodel or it does not frisk xenolith or both.;
$hypothesis$ = the massicot is not a effector or it does not bind Sikorsky or both. ; $context$ = sent1: the dot does not bind Sikorsky if that the guerrilla does not frisk xenolith and is a kind of a supermodel is not right. sent2: the polack does bind Sikorsky and is illegitimate. sent3: the polack is not a effector if the fact that that the dot does not frisk xenolith and is a kind of a supermodel is not incorrect does not hold. sent4: if the fact that the dot does not frisk xenolith is right either the massicot does not frisk xenolith or it is not a kind of a effector or both. sent5: that if the guerrilla does frisk xenolith then the dot interposes is correct. sent6: if something interposes and does pique Stockton then it is not a kind of a supermodel. sent7: The Stockton piques guerrilla. sent8: if the scanner does not bind bimester then it is not a supermodel and/or does not frisk xenolith. sent9: the fact that the fact that something is not a effector and/or it does not bind Sikorsky is not false does not hold if it does not tame. sent10: if the guerrilla is not a supermodel the fact that the dot does not frisk xenolith and is a supermodel does not hold. sent11: if the scanner tames the guerrilla interposes. sent12: if there is something such that that it does frisk stiletto and it is a botulin does not hold the scanner does not bind bimester. sent13: there is something such that the fact that it frisks stiletto and it is a botulin is not correct. sent14: the scanner is not quiet. sent15: the scanner tames. sent16: if the polack is not a kind of a effector the massicot is not a kind of a effector and/or it does not bind Sikorsky. sent17: the cyberart is a supermodel. sent18: if something is not a supermodel that it does not pique Stockton and it does not interpose is wrong. sent19: the dot is tame. sent20: either the massicot is not a effector or it is not a kind of a supermodel or both. ; $proof$ = 
sent11 & sent15 -> int1: the guerrilla interposes.; sent6 -> int2: the guerrilla is not a kind of a supermodel if it interposes and does pique Stockton.; __UNKNOWN__