the sideburn is not a Alaskan.
sent1: there is something such that it is not Alaskan or a beige or both. sent2: the sashimi is not a sheet. sent3: something embowers stretcher-bearer and it is commons if that it is non-Altaic is true. sent4: if something does not sheet then it does exhilarate judas and is erecting. sent5: the tomtate is both not a kneel and Brobdingnagian if the bung is a Maximian. sent6: the tomtate is a timecard. sent7: the tomtate is admissible if the densitometer is not a beige and it is not sciatic. sent8: that something is not a kind of a tickle but it is anorthitic is false if it does not embower stretcher-bearer. sent9: the tomtate is sciatic if it is a timecard. sent10: the sideburn is a kind of a Alaskan if the densitometer is a beige. sent11: the Chardonnay is not a Altaic if there is something such that it exhilarates judas. sent12: the tomtate is Brobdingnagian if the bung is a Maximian. sent13: the fact that the densitometer is a beige is right if something is either not a Maximian or admissible or both. sent14: if the Chardonnay does embower stretcher-bearer and is commons then the cargo does not embower stretcher-bearer. sent15: if something is sciatic it is a kneel. sent16: something is a kind of a Maximian if it is admissible. sent17: if that the bung is Alaskan is true then the sideburn is not a Alaskan. sent18: something that is not a Maximian is not hairless but a sweat. sent19: the tomtate is Brobdingnagian if it is iritic. sent20: the bung is Alaskan if the tomtate is a kind of a Maximian.
void -> assump1: Let's assume that the bung is a kind of a Maximian.; sent5 & assump1 -> int1: the tomtate is not a kneel but it is Brobdingnagian.; int1 -> int2: the tomtate is not a kind of a kneel.; sent15 -> int3: if the tomtate is sciatic then it is a kind of a kneel.; sent9 & sent6 -> int4: the tomtate is sciatic.; int3 & int4 -> int5: the tomtate kneels.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bung is not a kind of a Maximian.; int7 -> int8: the bung is not a Maximian or is admissible or both.; int8 -> int9: something is not a kind of a Maximian or it is admissible or both.; int9 & sent13 -> int10: the densitometer is a beige.; int10 & sent10 -> hypothesis;
the Midway is not hairless but it does sweat.
sent18 -> int11: the fact that the Midway is hairy thing that is the sweat if the Midway is not a kind of a Maximian hold.;
$hypothesis$ = the sideburn is not a Alaskan. ; $context$ = sent1: there is something such that it is not Alaskan or a beige or both. sent2: the sashimi is not a sheet. sent3: something embowers stretcher-bearer and it is commons if that it is non-Altaic is true. sent4: if something does not sheet then it does exhilarate judas and is erecting. sent5: the tomtate is both not a kneel and Brobdingnagian if the bung is a Maximian. sent6: the tomtate is a timecard. sent7: the tomtate is admissible if the densitometer is not a beige and it is not sciatic. sent8: that something is not a kind of a tickle but it is anorthitic is false if it does not embower stretcher-bearer. sent9: the tomtate is sciatic if it is a timecard. sent10: the sideburn is a kind of a Alaskan if the densitometer is a beige. sent11: the Chardonnay is not a Altaic if there is something such that it exhilarates judas. sent12: the tomtate is Brobdingnagian if the bung is a Maximian. sent13: the fact that the densitometer is a beige is right if something is either not a Maximian or admissible or both. sent14: if the Chardonnay does embower stretcher-bearer and is commons then the cargo does not embower stretcher-bearer. sent15: if something is sciatic it is a kneel. sent16: something is a kind of a Maximian if it is admissible. sent17: if that the bung is Alaskan is true then the sideburn is not a Alaskan. sent18: something that is not a Maximian is not hairless but a sweat. sent19: the tomtate is Brobdingnagian if it is iritic. sent20: the bung is Alaskan if the tomtate is a kind of a Maximian. ; $proof$ = 
void -> assump1: Let's assume that the bung is a kind of a Maximian.; sent5 & assump1 -> int1: the tomtate is not a kneel but it is Brobdingnagian.; int1 -> int2: the tomtate is not a kind of a kneel.; sent15 -> int3: if the tomtate is sciatic then it is a kind of a kneel.; sent9 & sent6 -> int4: the tomtate is sciatic.; int3 & int4 -> int5: the tomtate kneels.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bung is not a kind of a Maximian.; int7 -> int8: the bung is not a Maximian or is admissible or both.; int8 -> int9: something is not a kind of a Maximian or it is admissible or both.; int9 & sent13 -> int10: the densitometer is a beige.; int10 & sent10 -> hypothesis; __DISPROVED__