the slot is a dandruff.
sent1: the leucine is ductless and/or does not hum muscularity if it is a Tennessean. sent2: the slot is a dandruff if the leucine is a dandruff. sent3: something is a centering and a dandruff if it is not a Marvell. sent4: that the trackball is not unimportant and it is not a CIM is wrong if the leucine does center. sent5: if something does not hum muscularity then the fact that it is not a kind of a dandruff and/or does not abstain is incorrect. sent6: there is something such that that it does not abstain is not incorrect. sent7: the slot is not unimportant. sent8: the slot is not a dandruff if something is a Adventist that does not abstain. sent9: if the leucine is not a kind of a Adventist the diapedesis is a Adventist but it does not abstain. sent10: if the fact that that the leucine is a Adventist is not incorrect is wrong the diapedesis is a Adventist. sent11: the leucine is not a Adventist if it is not a kind of a centering. sent12: the trackball is not a Marvell if the fact that it is not unimportant and it is not a CIM is incorrect. sent13: if that something is not a dandruff and/or it does not abstain is incorrect then it is not a Adventist. sent14: something is a kind of a Adventist and does abstain. sent15: the trackball is a kind of a Marvell. sent16: if the histologist is not a Adventist then the fact that it is not a Marvell but a centering is incorrect. sent17: if that something is not a Marvell but it is centering is incorrect it is not a kind of a CIM. sent18: if the leucine is ductless and/or does not hum muscularity the histologist does not hum muscularity. sent19: the trackball is not a kind of a Marvell if it does not abstain.
void -> assump1: Let's assume that the leucine is a kind of a centering.; sent4 & assump1 -> int1: that the trackball is important thing that is not a kind of a CIM is incorrect.; int1 & sent12 -> int2: the trackball is not a Marvell.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the leucine is not a centering.; int4 & sent11 -> int5: the leucine is not a Adventist.; int5 & sent9 -> int6: the diapedesis is a Adventist that does not abstain.; int6 -> int7: something is a Adventist but it does not abstain.; int7 & sent8 -> hypothesis;
the slot is a dandruff.
sent3 -> int8: if the leucine is not a Marvell then it is a centering that is a dandruff.;
$hypothesis$ = the slot is a dandruff. ; $context$ = sent1: the leucine is ductless and/or does not hum muscularity if it is a Tennessean. sent2: the slot is a dandruff if the leucine is a dandruff. sent3: something is a centering and a dandruff if it is not a Marvell. sent4: that the trackball is not unimportant and it is not a CIM is wrong if the leucine does center. sent5: if something does not hum muscularity then the fact that it is not a kind of a dandruff and/or does not abstain is incorrect. sent6: there is something such that that it does not abstain is not incorrect. sent7: the slot is not unimportant. sent8: the slot is not a dandruff if something is a Adventist that does not abstain. sent9: if the leucine is not a kind of a Adventist the diapedesis is a Adventist but it does not abstain. sent10: if the fact that that the leucine is a Adventist is not incorrect is wrong the diapedesis is a Adventist. sent11: the leucine is not a Adventist if it is not a kind of a centering. sent12: the trackball is not a Marvell if the fact that it is not unimportant and it is not a CIM is incorrect. sent13: if that something is not a dandruff and/or it does not abstain is incorrect then it is not a Adventist. sent14: something is a kind of a Adventist and does abstain. sent15: the trackball is a kind of a Marvell. sent16: if the histologist is not a Adventist then the fact that it is not a Marvell but a centering is incorrect. sent17: if that something is not a Marvell but it is centering is incorrect it is not a kind of a CIM. sent18: if the leucine is ductless and/or does not hum muscularity the histologist does not hum muscularity. sent19: the trackball is not a kind of a Marvell if it does not abstain. ; $proof$ = 
void -> assump1: Let's assume that the leucine is a kind of a centering.; sent4 & assump1 -> int1: that the trackball is important thing that is not a kind of a CIM is incorrect.; int1 & sent12 -> int2: the trackball is not a Marvell.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the leucine is not a centering.; int4 & sent11 -> int5: the leucine is not a Adventist.; int5 & sent9 -> int6: the diapedesis is a Adventist that does not abstain.; int6 -> int7: something is a Adventist but it does not abstain.; int7 & sent8 -> hypothesis; __DISPROVED__