the fact that the honeysucker limes Estonian if the fact that the auto-mechanic does rationalize woodpecker but it does not sentimentalise rendition does not hold is false.
sent1: if the companionway is Parthian thing that is not deflationary then the honeysucker is deflationary. sent2: the honeysucker does lime Estonian if there is something such that that it does rationalize woodpecker and it does not sentimentalise rendition is not true. sent3: something is a kind of a Parthian that is not deflationary if it is a witness. sent4: there exists something such that it rationalizes woodpecker and it does not sentimentalise rendition. sent5: something does not rationalize woodpecker. sent6: the fact that the auto-mechanic does rationalize woodpecker and sentimentalises rendition is incorrect. sent7: there exists something such that the fact that it rationalizes woodpecker and it does not lime Estonian is wrong. sent8: if something is deflationary then the fact that it neglects GPA hold. sent9: the auto-mechanic does not rationalize woodpecker. sent10: if the auto-mechanic rationalizes woodpecker and does not sentimentalise rendition then the honeysucker does lime Estonian. sent11: the companionway is a cullis and/or it does run. sent12: something does sentimentalise rendition. sent13: the auto-mechanic does sentimentalise rendition. sent14: the GABA is not a echoencephalogram if the honeysucker does neglect GPA or it is not a echoencephalogram or both. sent15: there exists something such that that it rationalizes woodpecker and sentimentalises rendition does not hold. sent16: if that something is not a echoencephalogram is true it is a bankbook and it limes Estonian.
void -> assump1: Let's assume that that the auto-mechanic rationalizes woodpecker and does not sentimentalise rendition does not hold.; assump1 -> int1: there is something such that that it does rationalize woodpecker and does not sentimentalise rendition is wrong.; int1 & sent2 -> int2: the honeysucker limes Estonian.; [assump1] & int2 -> hypothesis;
the GABA limes Estonian.
sent16 -> int3: the GABA is a bankbook and limes Estonian if it is not a echoencephalogram.; sent8 -> int4: the honeysucker does neglect GPA if the fact that it is deflationary hold.; sent3 -> int5: the companionway is a kind of a Parthian but it is not deflationary if it witnesses.;
$hypothesis$ = the fact that the honeysucker limes Estonian if the fact that the auto-mechanic does rationalize woodpecker but it does not sentimentalise rendition does not hold is false. ; $context$ = sent1: if the companionway is Parthian thing that is not deflationary then the honeysucker is deflationary. sent2: the honeysucker does lime Estonian if there is something such that that it does rationalize woodpecker and it does not sentimentalise rendition is not true. sent3: something is a kind of a Parthian that is not deflationary if it is a witness. sent4: there exists something such that it rationalizes woodpecker and it does not sentimentalise rendition. sent5: something does not rationalize woodpecker. sent6: the fact that the auto-mechanic does rationalize woodpecker and sentimentalises rendition is incorrect. sent7: there exists something such that the fact that it rationalizes woodpecker and it does not lime Estonian is wrong. sent8: if something is deflationary then the fact that it neglects GPA hold. sent9: the auto-mechanic does not rationalize woodpecker. sent10: if the auto-mechanic rationalizes woodpecker and does not sentimentalise rendition then the honeysucker does lime Estonian. sent11: the companionway is a cullis and/or it does run. sent12: something does sentimentalise rendition. sent13: the auto-mechanic does sentimentalise rendition. sent14: the GABA is not a echoencephalogram if the honeysucker does neglect GPA or it is not a echoencephalogram or both. sent15: there exists something such that that it rationalizes woodpecker and sentimentalises rendition does not hold. sent16: if that something is not a echoencephalogram is true it is a bankbook and it limes Estonian. ; $proof$ = 
void -> assump1: Let's assume that that the auto-mechanic rationalizes woodpecker and does not sentimentalise rendition does not hold.; assump1 -> int1: there is something such that that it does rationalize woodpecker and does not sentimentalise rendition is wrong.; int1 & sent2 -> int2: the honeysucker limes Estonian.; [assump1] & int2 -> hypothesis; __DISPROVED__