the bight is not contralateral.
sent1: if something is a bulldog then it roughens saver. sent2: if that the abridger does not roughen saver and does not bulldog is wrong then the bight does not bulldog. sent3: that the rape is not non-corneal but it does not roughen saver is false if the abridger roughen saver. sent4: there is something such that that either it is a kiang or it is not a kind of a Freemason or both is wrong. sent5: the fact that the rape is not non-corneal and does not roughen saver does not hold. sent6: if the fact that the rape is not corneal and it does not roughen saver does not hold then the bight is not contralateral. sent7: there is something such that it skids redaction. sent8: the bight is not contralateral if the rape is corneal. sent9: something that is corneal roughens saver. sent10: the abridger is a bulldog if there is something such that it does skid redaction.
sent7 & sent10 -> int1: the abridger bulldogs.; sent1 -> int2: if the abridger does bulldog it does roughen saver.; int1 & int2 -> int3: the abridger roughens saver.;
the bight is contralateral.
$hypothesis$ = the bight is not contralateral. ; $context$ = sent1: if something is a bulldog then it roughens saver. sent2: if that the abridger does not roughen saver and does not bulldog is wrong then the bight does not bulldog. sent3: that the rape is not non-corneal but it does not roughen saver is false if the abridger roughen saver. sent4: there is something such that that either it is a kiang or it is not a kind of a Freemason or both is wrong. sent5: the fact that the rape is not non-corneal and does not roughen saver does not hold. sent6: if the fact that the rape is not corneal and it does not roughen saver does not hold then the bight is not contralateral. sent7: there is something such that it skids redaction. sent8: the bight is not contralateral if the rape is corneal. sent9: something that is corneal roughens saver. sent10: the abridger is a bulldog if there is something such that it does skid redaction. ; $proof$ = 
sent7 & sent10 -> int1: the abridger bulldogs.; sent1 -> int2: if the abridger does bulldog it does roughen saver.; int1 & int2 -> int3: the abridger roughens saver.; __UNKNOWN__