the haik is autographic.
sent1: something is not non-estrous. sent2: if something is a interpolation the fact that the skylark is not a Thai and permits by-line is incorrect. sent3: the fact that the haik is not a Binet and is not calyptrate does not hold if the burgrave is not estrous. sent4: if there exists something such that it does not stigmatize colossus the burgrave does permit by-line and is not estrous. sent5: if the skylark is either a Thai or a whiting or both the haik is not a kind of a Binet. sent6: if something is calyptrate it is autographic. sent7: if there exists something such that it is not autographic the haik is a kind of a lanyard that is not a interpolation. sent8: the Espagnole is a whiting. sent9: if there exists something such that it is a Thai that the skylark is not a Binet and permits by-line is not right. sent10: that the larvacean is a kind of non-Thai thing that does not boot Ruhr is not incorrect. sent11: something is a kind of a lanyard if it is a Binet. sent12: something is nonpsychoactive. sent13: if the fact that the haik is not a kind of a whiting but it is a lanyard is not correct then the skylark is not a interpolation. sent14: that the Espagnole is not a interpolation but it is autographic does not hold if something is a lanyard. sent15: the skylark is a lanyard. sent16: the burgrave is not a Thai if there is something such that that it is Thai thing that is a kind of a whiting is false. sent17: the skylark is a kind of a Thai if the fact that the Espagnole is not a interpolation and is a lanyard does not hold. sent18: the burgrave is a kind of a whiting if that the skylark is not a interpolation and is estrous is not correct. sent19: that the skylark is non-calyptrate is not correct. sent20: there exists something such that the fact that it is Thai a whiting is wrong. sent21: the burgrave is a whiting. sent22: the burgrave does permit by-line. sent23: if something is nonpsychoactive then that the Espagnole is not a interpolation and is a kind of a lanyard does not hold. sent24: the skylark is estrous and not a interpolation if something is not Thai. sent25: that that the burgrave is non-estrous thing that is a kind of a Thai is not true hold. sent26: the Espagnole is Thai if the skylark is not a kind of a lanyard. sent27: something does not stigmatize colossus.
sent12 & sent23 -> int1: that that the Espagnole is not a interpolation but it is a lanyard is right does not hold.; int1 & sent17 -> int2: the skylark is Thai.; int2 -> int3: the skylark is a Thai or it is a whiting or both.; int3 & sent5 -> int4: the haik is not a Binet.; void -> assump1: Let's assume that the haik is not calyptrate.; int4 & assump1 -> int5: the haik is not a kind of a Binet and it is not calyptrate.; sent27 & sent4 -> int6: the burgrave permits by-line and is non-estrous.; int6 -> int7: the burgrave is non-estrous.; sent3 & int7 -> int8: that the haik is not a Binet and not calyptrate is wrong.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the haik is calyptrate is not false.; sent6 -> int11: if the haik is calyptrate then it is autographic.; int10 & int11 -> hypothesis;
the haik is not autographic.
sent20 & sent16 -> int12: the burgrave is not a Thai.; int12 -> int13: something is not a Thai.;
$hypothesis$ = the haik is autographic. ; $context$ = sent1: something is not non-estrous. sent2: if something is a interpolation the fact that the skylark is not a Thai and permits by-line is incorrect. sent3: the fact that the haik is not a Binet and is not calyptrate does not hold if the burgrave is not estrous. sent4: if there exists something such that it does not stigmatize colossus the burgrave does permit by-line and is not estrous. sent5: if the skylark is either a Thai or a whiting or both the haik is not a kind of a Binet. sent6: if something is calyptrate it is autographic. sent7: if there exists something such that it is not autographic the haik is a kind of a lanyard that is not a interpolation. sent8: the Espagnole is a whiting. sent9: if there exists something such that it is a Thai that the skylark is not a Binet and permits by-line is not right. sent10: that the larvacean is a kind of non-Thai thing that does not boot Ruhr is not incorrect. sent11: something is a kind of a lanyard if it is a Binet. sent12: something is nonpsychoactive. sent13: if the fact that the haik is not a kind of a whiting but it is a lanyard is not correct then the skylark is not a interpolation. sent14: that the Espagnole is not a interpolation but it is autographic does not hold if something is a lanyard. sent15: the skylark is a lanyard. sent16: the burgrave is not a Thai if there is something such that that it is Thai thing that is a kind of a whiting is false. sent17: the skylark is a kind of a Thai if the fact that the Espagnole is not a interpolation and is a lanyard does not hold. sent18: the burgrave is a kind of a whiting if that the skylark is not a interpolation and is estrous is not correct. sent19: that the skylark is non-calyptrate is not correct. sent20: there exists something such that the fact that it is Thai a whiting is wrong. sent21: the burgrave is a whiting. sent22: the burgrave does permit by-line. sent23: if something is nonpsychoactive then that the Espagnole is not a interpolation and is a kind of a lanyard does not hold. sent24: the skylark is estrous and not a interpolation if something is not Thai. sent25: that that the burgrave is non-estrous thing that is a kind of a Thai is not true hold. sent26: the Espagnole is Thai if the skylark is not a kind of a lanyard. sent27: something does not stigmatize colossus. ; $proof$ = 
sent12 & sent23 -> int1: that that the Espagnole is not a interpolation but it is a lanyard is right does not hold.; int1 & sent17 -> int2: the skylark is Thai.; int2 -> int3: the skylark is a Thai or it is a whiting or both.; int3 & sent5 -> int4: the haik is not a Binet.; void -> assump1: Let's assume that the haik is not calyptrate.; int4 & assump1 -> int5: the haik is not a kind of a Binet and it is not calyptrate.; sent27 & sent4 -> int6: the burgrave permits by-line and is non-estrous.; int6 -> int7: the burgrave is non-estrous.; sent3 & int7 -> int8: that the haik is not a Binet and not calyptrate is wrong.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the haik is calyptrate is not false.; sent6 -> int11: if the haik is calyptrate then it is autographic.; int10 & int11 -> hypothesis; __PROVED__