the gravimeter is caudal.
sent1: if that the southeaster either is a cosmopolitan or is mercuric or both does not hold it does not down cytoplasm. sent2: something is mercuric but not caudal if it is not cosmopolitan. sent3: something is a nominative and/or it is astrocytic if it does not down alteration. sent4: the fact that the southeaster is a cosmopolitan is not wrong. sent5: that if the tattler is not a kind of the cosmopolitan the tattler does not splash is correct. sent6: everything does not down alteration. sent7: the fact that the cytoplasm is a kind of a cosmopolitan or it does not trim or both is not true. sent8: the fact that the cytoplasm is a kind of precocial thing that is not cosmopolitan does not hold if the southeaster is not mercuric. sent9: if the fact that something is precocial but it is not a kind of a cosmopolitan is wrong it does not down cytoplasm. sent10: the tattler finds and is a kind of a splashed. sent11: the cytoplasm splashes if it is a kind of a nominative. sent12: if the fact that either the southeaster is a trim or it is not a roots or both does not hold then it is not mercuric. sent13: that that the cytoplasm is a kind of caudal thing that is not cosmopolitan is right is not right. sent14: if something is astrocytic then it splashes. sent15: something is not a Ugandan if it is either a trim or not a roots or both. sent16: if the southeaster is not Ugandan then the gravimeter is both caudal and Ugandan. sent17: if that the gravimeter is not a cosmopolitan is not incorrect the fact that the cytoplasm downs cytoplasm and is Ugandan is wrong. sent18: the cytoplasm downs cytoplasm if the tattler does find. sent19: if the fact that something is non-Ugandan thing that does not find is incorrect it is a Ugandan. sent20: something is not auxetic if it does photosensitize southeaster. sent21: the southeaster does not splash if the fact that either it is a kind of a Ugandan or it is precocial or both does not hold. sent22: the gravimeter is not caudal if the southeaster is mercuric and is not caudal. sent23: something does not down cytoplasm but it is precocial if it is a Ugandan.
void -> assump1: Let's assume that the fact that the southeaster is a trim and/or it is not a roots is not right.; sent12 & assump1 -> int1: the southeaster is not mercuric.; int1 & sent8 -> int2: that the cytoplasm is precocial thing that is not cosmopolitan is incorrect.; sent9 -> int3: if that the cytoplasm is precocial but it is not cosmopolitan is not true then it does not down cytoplasm.; int2 & int3 -> int4: the fact that the cytoplasm does not down cytoplasm is true.; sent10 -> int5: the tattler does find.; sent18 & int5 -> int6: the cytoplasm does down cytoplasm.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: either the southeaster is a trim or it does not root or both.; sent15 -> int9: if the southeaster is a trim and/or is not a roots then it is not a Ugandan.; int8 & int9 -> int10: the southeaster is not a Ugandan.; int10 & sent16 -> int11: the gravimeter is caudal and it is Ugandan.; int11 -> hypothesis;
the gravimeter is not caudal.
sent2 -> int12: if the southeaster is not a cosmopolitan it is mercuric and it is not caudal.; sent23 -> int13: the cytoplasm does not down cytoplasm but it is precocial if it is a kind of a Ugandan.; sent19 -> int14: if the fact that the cytoplasm is non-Ugandan thing that does not find is not true it is Ugandan.; sent14 -> int15: if the cytoplasm is astrocytic then it splashes.; sent3 -> int16: if the fact that the tattler does not down alteration is true then it is a kind of a nominative and/or it is astrocytic.; sent6 -> int17: the tattler does not down alteration.; int16 & int17 -> int18: the tattler is a nominative and/or it is not non-astrocytic.; int18 -> int19: either everything is a nominative or it is astrocytic or both.; int19 -> int20: the cytoplasm is nominative or it is astrocytic or both.; sent11 & int15 & int20 -> int21: the cytoplasm does splash.;
$hypothesis$ = the gravimeter is caudal. ; $context$ = sent1: if that the southeaster either is a cosmopolitan or is mercuric or both does not hold it does not down cytoplasm. sent2: something is mercuric but not caudal if it is not cosmopolitan. sent3: something is a nominative and/or it is astrocytic if it does not down alteration. sent4: the fact that the southeaster is a cosmopolitan is not wrong. sent5: that if the tattler is not a kind of the cosmopolitan the tattler does not splash is correct. sent6: everything does not down alteration. sent7: the fact that the cytoplasm is a kind of a cosmopolitan or it does not trim or both is not true. sent8: the fact that the cytoplasm is a kind of precocial thing that is not cosmopolitan does not hold if the southeaster is not mercuric. sent9: if the fact that something is precocial but it is not a kind of a cosmopolitan is wrong it does not down cytoplasm. sent10: the tattler finds and is a kind of a splashed. sent11: the cytoplasm splashes if it is a kind of a nominative. sent12: if the fact that either the southeaster is a trim or it is not a roots or both does not hold then it is not mercuric. sent13: that that the cytoplasm is a kind of caudal thing that is not cosmopolitan is right is not right. sent14: if something is astrocytic then it splashes. sent15: something is not a Ugandan if it is either a trim or not a roots or both. sent16: if the southeaster is not Ugandan then the gravimeter is both caudal and Ugandan. sent17: if that the gravimeter is not a cosmopolitan is not incorrect the fact that the cytoplasm downs cytoplasm and is Ugandan is wrong. sent18: the cytoplasm downs cytoplasm if the tattler does find. sent19: if the fact that something is non-Ugandan thing that does not find is incorrect it is a Ugandan. sent20: something is not auxetic if it does photosensitize southeaster. sent21: the southeaster does not splash if the fact that either it is a kind of a Ugandan or it is precocial or both does not hold. sent22: the gravimeter is not caudal if the southeaster is mercuric and is not caudal. sent23: something does not down cytoplasm but it is precocial if it is a Ugandan. ; $proof$ = 
void -> assump1: Let's assume that the fact that the southeaster is a trim and/or it is not a roots is not right.; sent12 & assump1 -> int1: the southeaster is not mercuric.; int1 & sent8 -> int2: that the cytoplasm is precocial thing that is not cosmopolitan is incorrect.; sent9 -> int3: if that the cytoplasm is precocial but it is not cosmopolitan is not true then it does not down cytoplasm.; int2 & int3 -> int4: the fact that the cytoplasm does not down cytoplasm is true.; sent10 -> int5: the tattler does find.; sent18 & int5 -> int6: the cytoplasm does down cytoplasm.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: either the southeaster is a trim or it does not root or both.; sent15 -> int9: if the southeaster is a trim and/or is not a roots then it is not a Ugandan.; int8 & int9 -> int10: the southeaster is not a Ugandan.; int10 & sent16 -> int11: the gravimeter is caudal and it is Ugandan.; int11 -> hypothesis; __PROVED__