there exists something such that it is gyroscopic.
sent1: something does pleach but it is not a gaskin. sent2: the fact that the jetliner rolls shooter is true if there exists something such that the fact that it does not rolls shooter and it damps devotional is wrong. sent3: if the fact that the socket is a kind of a gaskin hold the squall pleaches. sent4: if something does pleach it is not a kind of a secondary and is not an emu. sent5: the squall does not pleach if there exists something such that it is not a kind of a technical. sent6: something does not pleach but it is a gaskin. sent7: there is something such that it is not a gaskin. sent8: the periwinkle is gyroscopic if something that does not pleach is not a gaskin. sent9: the jetliner is gyroscopic if it does roll shooter. sent10: something is a kind of a bullhead but it is not a northwester if it does not damp notion. sent11: the fact that the periwinkle pleaches if the squall does pleaches is not false. sent12: if there is something such that the fact that that it is a Barthelme and it is a technical is right is wrong the squall does not pleach. sent13: the fact that the stemmer is a kind of a Barthelme and it is technical is incorrect. sent14: the squall does not roll shooter and is not a kind of a northwester. sent15: the squall does not roll shooter. sent16: if something that is gyroscopic is a bullhead then the socket is a kind of a gaskin. sent17: the squall is not a bullhead if it does not roll shooter and is not a northwester. sent18: everything does not crow hosier and is not non-succinic. sent19: if something is not a bullhead then it is not a kind of a gaskin. sent20: something is both a Barthelme and a technical.
sent13 -> int1: there is something such that that it is a Barthelme that is a technical is false.; int1 & sent12 -> int2: the squall does not pleach.; sent19 -> int3: if the squall is not a bullhead then the fact that it is not a gaskin is not false.; sent17 & sent14 -> int4: the squall is not a kind of a bullhead.; int3 & int4 -> int5: the fact that the squall is a gaskin does not hold.; int2 & int5 -> int6: the squall does not pleach and it is not a gaskin.; int6 -> int7: there exists something such that it does not pleach and is not a gaskin.; int7 & sent8 -> int8: the periwinkle is gyroscopic.; int8 -> hypothesis;
the periwinkle is not a secondary and it is not an emu.
sent4 -> int9: if the periwinkle does pleach it is not secondary and it is not an emu.; sent10 -> int10: the gunnysack is a bullhead that is not a northwester if it does not damp notion.; sent18 -> int11: the shooter does not crow hosier but it is succinic.; int11 -> int12: the fact that the shooter does not crow hosier hold.; int12 -> int13: everything does not crow hosier.; int13 -> int14: the liver does not crow hosier.;
$hypothesis$ = there exists something such that it is gyroscopic. ; $context$ = sent1: something does pleach but it is not a gaskin. sent2: the fact that the jetliner rolls shooter is true if there exists something such that the fact that it does not rolls shooter and it damps devotional is wrong. sent3: if the fact that the socket is a kind of a gaskin hold the squall pleaches. sent4: if something does pleach it is not a kind of a secondary and is not an emu. sent5: the squall does not pleach if there exists something such that it is not a kind of a technical. sent6: something does not pleach but it is a gaskin. sent7: there is something such that it is not a gaskin. sent8: the periwinkle is gyroscopic if something that does not pleach is not a gaskin. sent9: the jetliner is gyroscopic if it does roll shooter. sent10: something is a kind of a bullhead but it is not a northwester if it does not damp notion. sent11: the fact that the periwinkle pleaches if the squall does pleaches is not false. sent12: if there is something such that the fact that that it is a Barthelme and it is a technical is right is wrong the squall does not pleach. sent13: the fact that the stemmer is a kind of a Barthelme and it is technical is incorrect. sent14: the squall does not roll shooter and is not a kind of a northwester. sent15: the squall does not roll shooter. sent16: if something that is gyroscopic is a bullhead then the socket is a kind of a gaskin. sent17: the squall is not a bullhead if it does not roll shooter and is not a northwester. sent18: everything does not crow hosier and is not non-succinic. sent19: if something is not a bullhead then it is not a kind of a gaskin. sent20: something is both a Barthelme and a technical. ; $proof$ = 
sent13 -> int1: there is something such that that it is a Barthelme that is a technical is false.; int1 & sent12 -> int2: the squall does not pleach.; sent19 -> int3: if the squall is not a bullhead then the fact that it is not a gaskin is not false.; sent17 & sent14 -> int4: the squall is not a kind of a bullhead.; int3 & int4 -> int5: the fact that the squall is a gaskin does not hold.; int2 & int5 -> int6: the squall does not pleach and it is not a gaskin.; int6 -> int7: there exists something such that it does not pleach and is not a gaskin.; int7 & sent8 -> int8: the periwinkle is gyroscopic.; int8 -> hypothesis; __PROVED__