the quack is a kind of a desperate.
sent1: the lancers does lean if the fact that the fact that it is a curfew and/or it is certain is not false is wrong. sent2: if the fact that the Orthoptera is a curfew and/or it is not mores is false the lancers is inhumane. sent3: if the Orthoptera is mores then the lancers is a curfew. sent4: if the fact that the lancers is mores or it is not inhumane or both is false it is leaning. sent5: the lancers does overtake. sent6: the fact that the lancers does not lean is not false. sent7: the Orthoptera is mores if the avenger either is a curfew or is not a polymyxin or both. sent8: the fact that the Orthoptera is not a desperate is wrong if the fact that the avenger is mores and/or not a polymyxin is not right. sent9: the quack is mores if the avenger is a desperate. sent10: the weeds is not humane if the lancers is certain. sent11: the weeds is a kind of a polymyxin. sent12: the avenger is mores if the weeds is certain. sent13: the Orthoptera is inhumane. sent14: the quack is a kind of a desperate if the Orthoptera is a curfew and/or it is not a polymyxin. sent15: that the weeds is certain hold if that the Orthoptera is a curfew or is not a polymyxin or both is wrong. sent16: if the avenger is mores then the fact that the lancers is not mores or humane or both is not right. sent17: the fact that that the quack is a desperate or is not leaning or both does not hold hold if the lancers is a desperate.
void -> assump1: Let's assume that the fact that the Orthoptera is a curfew and/or it is not a polymyxin does not hold.; sent15 & assump1 -> int1: the weeds is certain.; int1 & sent12 -> int2: the avenger is mores.; int2 & sent16 -> int3: that the lancers is mores or it is not inhumane or both is not right.; int3 & sent4 -> int4: the lancers does lean.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Orthoptera is a curfew and/or not a polymyxin.; int6 & sent14 -> hypothesis;
$hypothesis$ = the quack is a kind of a desperate. ; $context$ = sent1: the lancers does lean if the fact that the fact that it is a curfew and/or it is certain is not false is wrong. sent2: if the fact that the Orthoptera is a curfew and/or it is not mores is false the lancers is inhumane. sent3: if the Orthoptera is mores then the lancers is a curfew. sent4: if the fact that the lancers is mores or it is not inhumane or both is false it is leaning. sent5: the lancers does overtake. sent6: the fact that the lancers does not lean is not false. sent7: the Orthoptera is mores if the avenger either is a curfew or is not a polymyxin or both. sent8: the fact that the Orthoptera is not a desperate is wrong if the fact that the avenger is mores and/or not a polymyxin is not right. sent9: the quack is mores if the avenger is a desperate. sent10: the weeds is not humane if the lancers is certain. sent11: the weeds is a kind of a polymyxin. sent12: the avenger is mores if the weeds is certain. sent13: the Orthoptera is inhumane. sent14: the quack is a kind of a desperate if the Orthoptera is a curfew and/or it is not a polymyxin. sent15: that the weeds is certain hold if that the Orthoptera is a curfew or is not a polymyxin or both is wrong. sent16: if the avenger is mores then the fact that the lancers is not mores or humane or both is not right. sent17: the fact that that the quack is a desperate or is not leaning or both does not hold hold if the lancers is a desperate. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Orthoptera is a curfew and/or it is not a polymyxin does not hold.; sent15 & assump1 -> int1: the weeds is certain.; int1 & sent12 -> int2: the avenger is mores.; int2 & sent16 -> int3: that the lancers is mores or it is not inhumane or both is not right.; int3 & sent4 -> int4: the lancers does lean.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Orthoptera is a curfew and/or not a polymyxin.; int6 & sent14 -> hypothesis; __PROVED__