the solder does not pitch dowered.
sent1: if the fact that the cellphone does not elbow is right the fact that it does not garner cellphone and/or it is a hack is right. sent2: the solder does not pitch dowered if the nacelle is not a worker. sent3: the nacelle is not an allies and does deny Gallinago. sent4: the nacelle is not a worker if the cellphone is an elbowing and it denies Shiraz. sent5: if the fact that something is not a kind of a expositor and is a greatness is not true it is not calcitic. sent6: the fact that the nacelle is not a expositor and is a greatness is not correct if it does not ally. sent7: something pitches dowered and it does elbow if it does not deny Shiraz. sent8: The Shiraz does deny cellphone. sent9: the fact that the cellphone either does not garner cellphone or hacks or both is not correct. sent10: the cellphone does deny Shiraz. sent11: if the nacelle is not calcitic the cellphone is a cornet but it is not a worker.
void -> assump1: Let's assume that the cellphone is not an elbowing.; sent1 & assump1 -> int1: the cellphone does not garner cellphone or it is a hack or both.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cellphone is an elbowing.; int3 & sent10 -> int4: the cellphone is an elbowing and denies Shiraz.; int4 & sent4 -> int5: the nacelle is not a worker.; int5 & sent2 -> hypothesis;
the solder does pitch dowered.
sent7 -> int6: if the solder does not deny Shiraz then it does pitch dowered and it is an elbowing.; sent5 -> int7: if the fact that the fact that the nacelle is not a kind of a expositor but it is a greatness is not incorrect is not right it is not calcitic.; sent3 -> int8: the nacelle is not an allies.; sent6 & int8 -> int9: that the nacelle is not a expositor and is a greatness is false.; int7 & int9 -> int10: the nacelle is not calcitic.; sent11 & int10 -> int11: the cellphone is a cornet but not a worker.; int11 -> int12: there exists something such that it is a kind of a cornet that is not a kind of a worker.;
$hypothesis$ = the solder does not pitch dowered. ; $context$ = sent1: if the fact that the cellphone does not elbow is right the fact that it does not garner cellphone and/or it is a hack is right. sent2: the solder does not pitch dowered if the nacelle is not a worker. sent3: the nacelle is not an allies and does deny Gallinago. sent4: the nacelle is not a worker if the cellphone is an elbowing and it denies Shiraz. sent5: if the fact that something is not a kind of a expositor and is a greatness is not true it is not calcitic. sent6: the fact that the nacelle is not a expositor and is a greatness is not correct if it does not ally. sent7: something pitches dowered and it does elbow if it does not deny Shiraz. sent8: The Shiraz does deny cellphone. sent9: the fact that the cellphone either does not garner cellphone or hacks or both is not correct. sent10: the cellphone does deny Shiraz. sent11: if the nacelle is not calcitic the cellphone is a cornet but it is not a worker. ; $proof$ = 
void -> assump1: Let's assume that the cellphone is not an elbowing.; sent1 & assump1 -> int1: the cellphone does not garner cellphone or it is a hack or both.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cellphone is an elbowing.; int3 & sent10 -> int4: the cellphone is an elbowing and denies Shiraz.; int4 & sent4 -> int5: the nacelle is not a worker.; int5 & sent2 -> hypothesis; __PROVED__