the fact that that the mounting is not a condition and it does not vitriol bivalve is incorrect is not incorrect.
sent1: everything is not a condition. sent2: the mounting is a Sango if the fact that the macebearer is a Jespersen is true. sent3: the pentlandite is a praenomen. sent4: that something bawls and is a kind of a watch is wrong if it does not vitriol metalhead. sent5: that something is not a Jespersen and is not a kind of a Sango is not true if it does not condition. sent6: if the mounting is a Jespersen the macebearer is a Sango. sent7: the fact that something is a kind of a Ecuadorian that is not a kind of a Sango does not hold if it is prehistoric. sent8: if the mounting is not a Sango then that it is a condition and it does not vitriol bivalve is wrong. sent9: the parget is prehistoric if there is something such that that it does bawl and is a watch is incorrect. sent10: that the mounting is not cardiovascular is right. sent11: the critter is not a condition. sent12: the fact that the macebearer is not a Sango hold. sent13: that the mounting does condition but it does not vitriol bivalve is wrong. sent14: the macebearer does not vitriol bivalve if the mounting does not vitriol bivalve. sent15: the mounting does not condition and does not vitriol bivalve if that the macebearer is not a Jespersen is not false. sent16: if something that is a praenomen is Argentine the bivalve does not vitriol metalhead. sent17: if the mounting is not a Jespersen then the fact that it is not a condition and it does not vitriol bivalve is not correct. sent18: the pentlandite is Argentine.
void -> assump1: Let's assume that the mounting is a Jespersen.; sent6 & assump1 -> int1: the macebearer is a Sango.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the mounting is not a Jespersen.; int3 & sent17 -> hypothesis;
the fact that the mounting does not condition and does not vitriol bivalve is not false.
sent7 -> int4: that the parget is a Ecuadorian but it is not a Sango is not right if it is prehistoric.; sent4 -> int5: the fact that the bivalve bawls and it does watch is incorrect if it does not vitriol metalhead.; sent3 & sent18 -> int6: the pentlandite is both a praenomen and Argentine.; int6 -> int7: there is something such that it is both a praenomen and Argentine.; int7 & sent16 -> int8: the bivalve does not vitriol metalhead.; int5 & int8 -> int9: the fact that the bivalve bawls and it is a watch does not hold.; int9 -> int10: there exists something such that the fact that it does bawl and it does watch is incorrect.; int10 & sent9 -> int11: the parget is prehistoric.; int4 & int11 -> int12: the fact that the parget is a Ecuadorian but it is not a kind of a Sango does not hold.; int12 -> int13: there exists something such that that it is Ecuadorian but not a Sango is not right.;
$hypothesis$ = the fact that that the mounting is not a condition and it does not vitriol bivalve is incorrect is not incorrect. ; $context$ = sent1: everything is not a condition. sent2: the mounting is a Sango if the fact that the macebearer is a Jespersen is true. sent3: the pentlandite is a praenomen. sent4: that something bawls and is a kind of a watch is wrong if it does not vitriol metalhead. sent5: that something is not a Jespersen and is not a kind of a Sango is not true if it does not condition. sent6: if the mounting is a Jespersen the macebearer is a Sango. sent7: the fact that something is a kind of a Ecuadorian that is not a kind of a Sango does not hold if it is prehistoric. sent8: if the mounting is not a Sango then that it is a condition and it does not vitriol bivalve is wrong. sent9: the parget is prehistoric if there is something such that that it does bawl and is a watch is incorrect. sent10: that the mounting is not cardiovascular is right. sent11: the critter is not a condition. sent12: the fact that the macebearer is not a Sango hold. sent13: that the mounting does condition but it does not vitriol bivalve is wrong. sent14: the macebearer does not vitriol bivalve if the mounting does not vitriol bivalve. sent15: the mounting does not condition and does not vitriol bivalve if that the macebearer is not a Jespersen is not false. sent16: if something that is a praenomen is Argentine the bivalve does not vitriol metalhead. sent17: if the mounting is not a Jespersen then the fact that it is not a condition and it does not vitriol bivalve is not correct. sent18: the pentlandite is Argentine. ; $proof$ = 
void -> assump1: Let's assume that the mounting is a Jespersen.; sent6 & assump1 -> int1: the macebearer is a Sango.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the mounting is not a Jespersen.; int3 & sent17 -> hypothesis; __PROVED__