the fact that the fact that the pleomorphism is a basic is right if the coprophagy is unexpansive does not hold.
sent1: that something is not a tessella but it tailgates correspondent does not hold if it is not sustentacular. sent2: the fact that the coprophagy is a tessella that tailgates correspondent does not hold. sent3: if the coprophagy is not a basic the pleomorphism is basic. sent4: the pleomorphism is a basic and does daydream if the coprophagy does not daydream. sent5: if the fact that something is not a kind of a tessella and does tailgate correspondent is not true it does not daydream. sent6: the pleomorphism does daydream if the coprophagy does not daydream. sent7: if something is a tessella then it does not daydream. sent8: if something is not a basic it is not unexpansive. sent9: something is not basic if it is not unexpansive. sent10: if something is unexpansive then it is not sustentacular. sent11: that the coprophagy is a kind of a tessella and it does tailgate correspondent is not right if it is not sustentacular.
sent10 -> int1: the coprophagy is not sustentacular if the fact that it is unexpansive is right.; void -> assump1: Let's assume that the coprophagy is unexpansive.; int1 & assump1 -> int2: the coprophagy is not sustentacular.; sent1 -> int3: that the coprophagy is not a tessella and does tailgate correspondent is false if it is not sustentacular.; int2 & int3 -> int4: that the coprophagy is not a kind of a tessella but it tailgates correspondent does not hold.; sent5 -> int5: if the fact that the coprophagy is not a tessella and tailgates correspondent is false then it does not daydream.; int4 & int5 -> int6: that the fact that the coprophagy does daydream hold is false.; int6 & sent4 -> int7: the pleomorphism is a basic that does daydream.; int7 -> int8: the pleomorphism is a basic.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that the fact that the pleomorphism is a basic is right if the coprophagy is unexpansive does not hold. ; $context$ = sent1: that something is not a tessella but it tailgates correspondent does not hold if it is not sustentacular. sent2: the fact that the coprophagy is a tessella that tailgates correspondent does not hold. sent3: if the coprophagy is not a basic the pleomorphism is basic. sent4: the pleomorphism is a basic and does daydream if the coprophagy does not daydream. sent5: if the fact that something is not a kind of a tessella and does tailgate correspondent is not true it does not daydream. sent6: the pleomorphism does daydream if the coprophagy does not daydream. sent7: if something is a tessella then it does not daydream. sent8: if something is not a basic it is not unexpansive. sent9: something is not basic if it is not unexpansive. sent10: if something is unexpansive then it is not sustentacular. sent11: that the coprophagy is a kind of a tessella and it does tailgate correspondent is not right if it is not sustentacular. ; $proof$ = 
sent10 -> int1: the coprophagy is not sustentacular if the fact that it is unexpansive is right.; void -> assump1: Let's assume that the coprophagy is unexpansive.; int1 & assump1 -> int2: the coprophagy is not sustentacular.; sent1 -> int3: that the coprophagy is not a tessella and does tailgate correspondent is false if it is not sustentacular.; int2 & int3 -> int4: that the coprophagy is not a kind of a tessella but it tailgates correspondent does not hold.; sent5 -> int5: if the fact that the coprophagy is not a tessella and tailgates correspondent is false then it does not daydream.; int4 & int5 -> int6: that the fact that the coprophagy does daydream hold is false.; int6 & sent4 -> int7: the pleomorphism is a basic that does daydream.; int7 -> int8: the pleomorphism is a basic.; [assump1] & int8 -> hypothesis; __DISPROVED__