there exists something such that it does not thrombose torticollis.
sent1: if there is something such that that it does not chalk is not false the fact that the nib thromboses torticollis and is not a IAA is not correct. sent2: if something is not a silly but it is a kind of a Joffrey then it is not a pall. sent3: something is a kind of a Chilean and it weans intercommunication if it does not thrombose Gamma. sent4: the boxcar is not a kind of a katamorphism and is a hawfinch. sent5: the jorum is not a Joffrey. sent6: the fact that something is not a confidant and is ontogenetic is not right if the fact that it is Chilean hold. sent7: if the fact that the fact that something thromboses torticollis but it is not a kind of a IAA is true is wrong then it does not pall. sent8: the fact that if the jorum is not a kind of a pall then the fact that the sampler does not thrombose torticollis is true is right. sent9: the swing is not a silly. sent10: everything is not a Joffrey. sent11: the sampler is not a chalk if the fact that the restoration is not a confidant but it is ontogenetic does not hold. sent12: something does thrombose torticollis. sent13: everything does not wean Cartesian and does not thrombose Gamma. sent14: the fact that the restoration does not thrombose Gamma hold if something that is not a kind of a katamorphism is a hawfinch. sent15: if the jorum is not a silly but it is a kind of a Joffrey then it does not pall. sent16: if the jorum is not a kind of a pall but it thromboses torticollis then it is not a Joffrey. sent17: if the jorum does not thrombose torticollis then the fact that the sampler is not a silly is right. sent18: the jorum is not minty. sent19: everything is not a kind of a silly and it is not a Joffrey. sent20: if the sampler is not a silly but it does thrombose torticollis then it is not a kind of a Joffrey.
sent19 -> int1: the jorum is both not a silly and not a Joffrey.;
the nib is not a pall.
sent7 -> int2: the nib is not a pall if that it thromboses torticollis and it is not a kind of a IAA is wrong.; sent6 -> int3: if the restoration is a kind of a Chilean the fact that it is not a kind of a confidant and it is ontogenetic does not hold.; sent3 -> int4: the restoration is Chilean and it weans intercommunication if it does not thrombose Gamma.; sent4 -> int5: there is something such that it is both not a katamorphism and a hawfinch.; int5 & sent14 -> int6: the restoration does not thrombose Gamma.; int4 & int6 -> int7: the restoration is a Chilean and it does wean intercommunication.; int7 -> int8: the restoration is Chilean.; int3 & int8 -> int9: that the restoration is not a confidant but ontogenetic is incorrect.; sent11 & int9 -> int10: that the sampler is not a chalk hold.; int10 -> int11: there exists something such that it is not a chalk.; int11 & sent1 -> int12: that the fact that the nib thromboses torticollis but it is not a IAA is incorrect is not incorrect.; int2 & int12 -> hypothesis;
$hypothesis$ = there exists something such that it does not thrombose torticollis. ; $context$ = sent1: if there is something such that that it does not chalk is not false the fact that the nib thromboses torticollis and is not a IAA is not correct. sent2: if something is not a silly but it is a kind of a Joffrey then it is not a pall. sent3: something is a kind of a Chilean and it weans intercommunication if it does not thrombose Gamma. sent4: the boxcar is not a kind of a katamorphism and is a hawfinch. sent5: the jorum is not a Joffrey. sent6: the fact that something is not a confidant and is ontogenetic is not right if the fact that it is Chilean hold. sent7: if the fact that the fact that something thromboses torticollis but it is not a kind of a IAA is true is wrong then it does not pall. sent8: the fact that if the jorum is not a kind of a pall then the fact that the sampler does not thrombose torticollis is true is right. sent9: the swing is not a silly. sent10: everything is not a Joffrey. sent11: the sampler is not a chalk if the fact that the restoration is not a confidant but it is ontogenetic does not hold. sent12: something does thrombose torticollis. sent13: everything does not wean Cartesian and does not thrombose Gamma. sent14: the fact that the restoration does not thrombose Gamma hold if something that is not a kind of a katamorphism is a hawfinch. sent15: if the jorum is not a silly but it is a kind of a Joffrey then it does not pall. sent16: if the jorum is not a kind of a pall but it thromboses torticollis then it is not a Joffrey. sent17: if the jorum does not thrombose torticollis then the fact that the sampler is not a silly is right. sent18: the jorum is not minty. sent19: everything is not a kind of a silly and it is not a Joffrey. sent20: if the sampler is not a silly but it does thrombose torticollis then it is not a kind of a Joffrey. ; $proof$ = 
sent19 -> int1: the jorum is both not a silly and not a Joffrey.; __UNKNOWN__