the in-basket hypnotizes truck and is not upmarket.
sent1: something does pin lengthiness and does not muck if it hypnotizes bedtime. sent2: the rattler does not hypnotize bedtime and it is not a palingenesis. sent3: the fact that if the rattler is a palingenesis the in-basket hypnotizes bedtime is not incorrect. sent4: if the scaphopod is non-anemophilous then it does not exclaim almsgiver. sent5: if the in-basket does hypnotize bedtime then the almsgiver does hypnotize bedtime. sent6: if that the in-basket does hypnotize truck but it is not upmarket is incorrect then it is not a palingenesis. sent7: if the flower is acrocentric the rattler is a palingenesis. sent8: if the rattler does not hypnotize bedtime and it is not a palingenesis then the in-basket is a palingenesis.
void -> assump1: Let's assume that the fact that the in-basket does hypnotize truck and is not upmarket is false.; sent6 & assump1 -> int1: the in-basket is not a palingenesis.; sent8 & sent2 -> int2: the fact that the in-basket is a palingenesis hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the almsgiver does pin lengthiness and does not muck.
sent1 -> int4: the almsgiver pins lengthiness but it does not muck if it does hypnotize bedtime.;
$hypothesis$ = the in-basket hypnotizes truck and is not upmarket. ; $context$ = sent1: something does pin lengthiness and does not muck if it hypnotizes bedtime. sent2: the rattler does not hypnotize bedtime and it is not a palingenesis. sent3: the fact that if the rattler is a palingenesis the in-basket hypnotizes bedtime is not incorrect. sent4: if the scaphopod is non-anemophilous then it does not exclaim almsgiver. sent5: if the in-basket does hypnotize bedtime then the almsgiver does hypnotize bedtime. sent6: if that the in-basket does hypnotize truck but it is not upmarket is incorrect then it is not a palingenesis. sent7: if the flower is acrocentric the rattler is a palingenesis. sent8: if the rattler does not hypnotize bedtime and it is not a palingenesis then the in-basket is a palingenesis. ; $proof$ = 
void -> assump1: Let's assume that the fact that the in-basket does hypnotize truck and is not upmarket is false.; sent6 & assump1 -> int1: the in-basket is not a palingenesis.; sent8 & sent2 -> int2: the fact that the in-basket is a palingenesis hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__