the specific is not constant if the mousepad is a fatherland.
sent1: something is a constant that does not dart bandsman if it is not bimillenial. sent2: if the mousepad is not a kind of a Guyanese then the mentum is not a kind of a fatherland and it does not dart ring-around-the-rosy. sent3: the fact that the mousepad is not a fatherland but Guyanese is false. sent4: the epigenesis is not supervisory. sent5: something is not bimillenial if that it is not a Price and it is a hydrant is not true. sent6: the specific is constant. sent7: the specific is a husk if there exists something such that it is not supervisory. sent8: if that the mousepad is not a kind of a fatherland and it is not a Guyanese is wrong the specific is not a constant. sent9: the fact that something is not a Price but it is a hydrant is not correct if it is a kind of a husk.
void -> assump2: Let's assume that the mousepad is both not a fatherland and not Guyanese.; assump2 -> int1: the mousepad is not a kind of a fatherland.; void -> assump1: Let's assume that the mousepad is a fatherland.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the mousepad is not a fatherland and it is not a Guyanese does not hold.; int3 & sent8 -> int4: the specific is not a constant.; [assump1] & int4 -> hypothesis;
the mentum is not a fatherland and it does not dart ring-around-the-rosy.
sent1 -> int5: the specific is constant thing that does not dart bandsman if it is not bimillenial.; sent5 -> int6: the specific is non-bimillenial if that it is not a Price and it is a hydrant is not correct.; sent9 -> int7: that the specific is not a Price but a hydrant is false if it is a husk.; sent4 -> int8: there is something such that the fact that it is non-supervisory is right.; int8 & sent7 -> int9: the specific is a husk.; int7 & int9 -> int10: that the specific is not a kind of a Price but it is a kind of a hydrant is false.; int6 & int10 -> int11: the specific is not bimillenial.; int5 & int11 -> int12: the specific is constant thing that does not dart bandsman.; int12 -> int13: that something is a constant but it does not dart bandsman is not incorrect.;
$hypothesis$ = the specific is not constant if the mousepad is a fatherland. ; $context$ = sent1: something is a constant that does not dart bandsman if it is not bimillenial. sent2: if the mousepad is not a kind of a Guyanese then the mentum is not a kind of a fatherland and it does not dart ring-around-the-rosy. sent3: the fact that the mousepad is not a fatherland but Guyanese is false. sent4: the epigenesis is not supervisory. sent5: something is not bimillenial if that it is not a Price and it is a hydrant is not true. sent6: the specific is constant. sent7: the specific is a husk if there exists something such that it is not supervisory. sent8: if that the mousepad is not a kind of a fatherland and it is not a Guyanese is wrong the specific is not a constant. sent9: the fact that something is not a Price but it is a hydrant is not correct if it is a kind of a husk. ; $proof$ = 
void -> assump2: Let's assume that the mousepad is both not a fatherland and not Guyanese.; assump2 -> int1: the mousepad is not a kind of a fatherland.; void -> assump1: Let's assume that the mousepad is a fatherland.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the mousepad is not a fatherland and it is not a Guyanese does not hold.; int3 & sent8 -> int4: the specific is not a constant.; [assump1] & int4 -> hypothesis; __PROVED__