that if the Bacon condescends then the deck is not a teliospore and/or is not non-Bohemian is wrong.
sent1: something is orthotropous. sent2: that the Bacon does condescend and is ethnocentric is wrong. sent3: if the deck does disobey Tourette then it is a teliospore or it is a Bohemian or both. sent4: the deck does disobey Tourette if something is not orthotropous. sent5: if that the lateen is not separated and does not parch carmaker is not correct then it does not cap Bacon. sent6: something does not parch cyberculture but it is a kind of a snood if it does not condescend. sent7: if the fact that the lateen does not cap Bacon is right it is a kind of orthotropous thing that does disobey Tourette. sent8: if something that is orthotropous is ethnocentric then it does not condescend. sent9: the Bacon is not a kind of a teliospore. sent10: something does not reopen or it is a Lowlander or both if it is a kind of a snood. sent11: if the fact that the Bacon does not condescend and is ethnocentric is false it is not orthotropous. sent12: the fact that the lateen does not separate and it does not parch carmaker does not hold. sent13: the Bacon is not orthotropous if it does not condescend and it is not non-ethnocentric. sent14: the deck is a teliospore and/or it is a Bohemian if that the Bacon condescends hold. sent15: the fact that the Bacon is not ethnocentric is not incorrect. sent16: the deck is a teliospore and/or it is a kind of a Bohemian. sent17: if something disobeys Tourette it either is a kind of a teliospore or is a Bohemian or both. sent18: the lateen is ethnocentric if the Bacon is ethnocentric. sent19: the Cage is ethnocentric. sent20: something that disobeys Tourette is not a teliospore or Bohemian or both.
void -> assump1: Let's assume that the Bacon does not condescend and is ethnocentric.; assump1 -> int1: the Bacon does not condescend.; void -> assump2: Let's assume that the Bacon condescends.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Bacon does not condescend and is ethnocentric is not right.; int3 & sent11 -> int4: the Bacon is non-orthotropous.; int4 -> int5: something is not orthotropous.; int5 & sent4 -> int6: the deck does disobey Tourette.; sent20 -> int7: either the deck is not a kind of a teliospore or it is a Bohemian or both if it disobeys Tourette.; int6 & int7 -> int8: the deck is not a teliospore or a Bohemian or both.; [assump2] & int8 -> hypothesis;
the lateen does not parch cyberculture and is a snood.
sent6 -> int9: if the lateen does not condescend then it does not parch cyberculture and is a snood.; sent8 -> int10: if the lateen is both orthotropous and ethnocentric it does not condescend.; sent5 & sent12 -> int11: the lateen does not cap Bacon.; sent7 & int11 -> int12: the lateen is orthotropous and it disobeys Tourette.; int12 -> int13: the lateen is orthotropous.;
$hypothesis$ = that if the Bacon condescends then the deck is not a teliospore and/or is not non-Bohemian is wrong. ; $context$ = sent1: something is orthotropous. sent2: that the Bacon does condescend and is ethnocentric is wrong. sent3: if the deck does disobey Tourette then it is a teliospore or it is a Bohemian or both. sent4: the deck does disobey Tourette if something is not orthotropous. sent5: if that the lateen is not separated and does not parch carmaker is not correct then it does not cap Bacon. sent6: something does not parch cyberculture but it is a kind of a snood if it does not condescend. sent7: if the fact that the lateen does not cap Bacon is right it is a kind of orthotropous thing that does disobey Tourette. sent8: if something that is orthotropous is ethnocentric then it does not condescend. sent9: the Bacon is not a kind of a teliospore. sent10: something does not reopen or it is a Lowlander or both if it is a kind of a snood. sent11: if the fact that the Bacon does not condescend and is ethnocentric is false it is not orthotropous. sent12: the fact that the lateen does not separate and it does not parch carmaker does not hold. sent13: the Bacon is not orthotropous if it does not condescend and it is not non-ethnocentric. sent14: the deck is a teliospore and/or it is a Bohemian if that the Bacon condescends hold. sent15: the fact that the Bacon is not ethnocentric is not incorrect. sent16: the deck is a teliospore and/or it is a kind of a Bohemian. sent17: if something disobeys Tourette it either is a kind of a teliospore or is a Bohemian or both. sent18: the lateen is ethnocentric if the Bacon is ethnocentric. sent19: the Cage is ethnocentric. sent20: something that disobeys Tourette is not a teliospore or Bohemian or both. ; $proof$ = 
void -> assump1: Let's assume that the Bacon does not condescend and is ethnocentric.; assump1 -> int1: the Bacon does not condescend.; void -> assump2: Let's assume that the Bacon condescends.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Bacon does not condescend and is ethnocentric is not right.; int3 & sent11 -> int4: the Bacon is non-orthotropous.; int4 -> int5: something is not orthotropous.; int5 & sent4 -> int6: the deck does disobey Tourette.; sent20 -> int7: either the deck is not a kind of a teliospore or it is a Bohemian or both if it disobeys Tourette.; int6 & int7 -> int8: the deck is not a teliospore or a Bohemian or both.; [assump2] & int8 -> hypothesis; __DISPROVED__