the hayrack is not a Lakeland and consternates audition.
sent1: if something does not consternate grabber and/or is not a Lakeland then it does not consternate grabber. sent2: the binding is a kind of a scofflaw if there exists something such that that it is Eurasian and it is not a kind of a scofflaw is not right. sent3: if the fact that the binding is not a Lakeland is not incorrect the fact that the hayrack is not a Lakeland but it does consternate audition is incorrect. sent4: the binding is not thermodynamics. sent5: if the binding is a Lakeland it is thermodynamics. sent6: there exists something such that the fact that it is not non-Eurasian and it is not a scofflaw is not true. sent7: something is not non-rotatory if it is astrocytic. sent8: something is not thermodynamics if it is rotatory.
void -> assump1: Let's assume that the binding is a Lakeland.; sent5 & assump1 -> int1: the binding is thermodynamics.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the binding is not a Lakeland.; int3 & sent3 -> hypothesis;
the binding does not consternate grabber.
sent1 -> int4: the binding does not consternate grabber if it either does not consternate grabber or is not a Lakeland or both.;
$hypothesis$ = the hayrack is not a Lakeland and consternates audition. ; $context$ = sent1: if something does not consternate grabber and/or is not a Lakeland then it does not consternate grabber. sent2: the binding is a kind of a scofflaw if there exists something such that that it is Eurasian and it is not a kind of a scofflaw is not right. sent3: if the fact that the binding is not a Lakeland is not incorrect the fact that the hayrack is not a Lakeland but it does consternate audition is incorrect. sent4: the binding is not thermodynamics. sent5: if the binding is a Lakeland it is thermodynamics. sent6: there exists something such that the fact that it is not non-Eurasian and it is not a scofflaw is not true. sent7: something is not non-rotatory if it is astrocytic. sent8: something is not thermodynamics if it is rotatory. ; $proof$ = 
void -> assump1: Let's assume that the binding is a Lakeland.; sent5 & assump1 -> int1: the binding is thermodynamics.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the binding is not a Lakeland.; int3 & sent3 -> hypothesis; __DISPROVED__