the HS1 is not a period and it does not unfurl.
sent1: if the fact that something does not liberate and it does not preclude is not true it is a gazette. sent2: something does not rotate progymnosperm if the fact that either it is a kind of a dispassion or it rotates martinet or both is wrong. sent3: the HS1 is not a period and does not unfurl if the fact that the PC does not unfurl is true. sent4: the fact that if that the wrench does rotate progymnosperm is not false then the larder does rotate martinet or it does not rotate progymnosperm or both is true. sent5: if something liberates and/or it does preclude the wrench does rotate progymnosperm. sent6: the lechwe is not a kind of a dispassion. sent7: that the lechwe gears chafed and is not undrinkable does not hold if it is not a dispassion. sent8: something does liberate if that it gears chafed and it is not undrinkable is wrong. sent9: the fact that if the larder does rotate martinet and/or it does not rotate progymnosperm then the PC does not unfurl is true.
sent8 -> int1: if that the lechwe gears chafed but it is not undrinkable does not hold it does liberate.; sent7 & sent6 -> int2: that the lechwe does gear chafed and is not undrinkable is not right.; int1 & int2 -> int3: the lechwe liberates.; int3 -> int4: either the lechwe does liberate or it does preclude or both.; int4 -> int5: either something liberates or it precludes or both.; int5 & sent5 -> int6: the wrench rotates progymnosperm.; int6 & sent4 -> int7: the larder rotates martinet and/or does not rotate progymnosperm.; int7 & sent9 -> int8: the PC does not unfurl.; int8 & sent3 -> hypothesis;
either the larder rotates progymnosperm or it does gazette or both.
sent1 -> int9: that the larder gazettes is not false if that it does not liberate and it does not preclude is false.;
$hypothesis$ = the HS1 is not a period and it does not unfurl. ; $context$ = sent1: if the fact that something does not liberate and it does not preclude is not true it is a gazette. sent2: something does not rotate progymnosperm if the fact that either it is a kind of a dispassion or it rotates martinet or both is wrong. sent3: the HS1 is not a period and does not unfurl if the fact that the PC does not unfurl is true. sent4: the fact that if that the wrench does rotate progymnosperm is not false then the larder does rotate martinet or it does not rotate progymnosperm or both is true. sent5: if something liberates and/or it does preclude the wrench does rotate progymnosperm. sent6: the lechwe is not a kind of a dispassion. sent7: that the lechwe gears chafed and is not undrinkable does not hold if it is not a dispassion. sent8: something does liberate if that it gears chafed and it is not undrinkable is wrong. sent9: the fact that if the larder does rotate martinet and/or it does not rotate progymnosperm then the PC does not unfurl is true. ; $proof$ = 
sent8 -> int1: if that the lechwe gears chafed but it is not undrinkable does not hold it does liberate.; sent7 & sent6 -> int2: that the lechwe does gear chafed and is not undrinkable is not right.; int1 & int2 -> int3: the lechwe liberates.; int3 -> int4: either the lechwe does liberate or it does preclude or both.; int4 -> int5: either something liberates or it precludes or both.; int5 & sent5 -> int6: the wrench rotates progymnosperm.; int6 & sent4 -> int7: the larder rotates martinet and/or does not rotate progymnosperm.; int7 & sent9 -> int8: the PC does not unfurl.; int8 & sent3 -> hypothesis; __PROVED__