the appetizer is not swept.
sent1: something that is both not a tomboy and not a surtout is not unswept. sent2: if the lever is not a stoner then the appetizer does not euphemize. sent3: something is not a stoner if it is tearful and it is medical. sent4: if the appetizer is a kind of a tomboy that is not a surtout the fact that it is unswept is right. sent5: something is unswept if it is a tomboy and it is not a surtout. sent6: the pangolin does hymn pea-souper and it is a tomboy if it is not a surtout. sent7: if the appetizer is not a kind of a tomboy but it is a surtout then it is unswept. sent8: if something is both non-tearful and not non-medical it is not a stoner. sent9: that the appetizer is both not a tomboy and a surtout is not right. sent10: the Turkmen does not term Nerva and is a petitio. sent11: if the lever is tearful thing that is medical then it is not a stoner. sent12: something that is not a tomboy and is a surtout is unswept. sent13: the fact that something is not tearful but it limes grivet is not right if it does euphemize. sent14: the appetizer is not a call-back. sent15: the sphygmomanometer does not euphemize. sent16: the lever is not tearful and is medical. sent17: if the fact that the Uruguayan is not unswept hold then the appetizer is not unswept. sent18: there is nothing such that it does not euphemize and it hymns pea-souper. sent19: the lever is not tearful.
sent8 -> int1: if the lever is not tearful but medical then it is not a stoner.; int1 & sent16 -> int2: the lever is not a stoner.; int2 & sent2 -> int3: the appetizer does not euphemize.; void -> assump1: Let's assume that the appetizer does hymn pea-souper.; int3 & assump1 -> int4: the appetizer does not euphemize and does hymn pea-souper.; sent18 -> int5: the fact that the fact that the appetizer does not euphemize and does hymn pea-souper is correct does not hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the appetizer does not hymn pea-souper.; sent1 -> int8: the appetizer is unswept if it is not a tomboy and it is not a surtout.;
that the nonsense is not tearful but it limes grivet is not correct.
sent13 -> int9: if the nonsense euphemizes then that it is not tearful and it does lime grivet is wrong.;
$hypothesis$ = the appetizer is not swept. ; $context$ = sent1: something that is both not a tomboy and not a surtout is not unswept. sent2: if the lever is not a stoner then the appetizer does not euphemize. sent3: something is not a stoner if it is tearful and it is medical. sent4: if the appetizer is a kind of a tomboy that is not a surtout the fact that it is unswept is right. sent5: something is unswept if it is a tomboy and it is not a surtout. sent6: the pangolin does hymn pea-souper and it is a tomboy if it is not a surtout. sent7: if the appetizer is not a kind of a tomboy but it is a surtout then it is unswept. sent8: if something is both non-tearful and not non-medical it is not a stoner. sent9: that the appetizer is both not a tomboy and a surtout is not right. sent10: the Turkmen does not term Nerva and is a petitio. sent11: if the lever is tearful thing that is medical then it is not a stoner. sent12: something that is not a tomboy and is a surtout is unswept. sent13: the fact that something is not tearful but it limes grivet is not right if it does euphemize. sent14: the appetizer is not a call-back. sent15: the sphygmomanometer does not euphemize. sent16: the lever is not tearful and is medical. sent17: if the fact that the Uruguayan is not unswept hold then the appetizer is not unswept. sent18: there is nothing such that it does not euphemize and it hymns pea-souper. sent19: the lever is not tearful. ; $proof$ = 
sent8 -> int1: if the lever is not tearful but medical then it is not a stoner.; int1 & sent16 -> int2: the lever is not a stoner.; int2 & sent2 -> int3: the appetizer does not euphemize.; void -> assump1: Let's assume that the appetizer does hymn pea-souper.; int3 & assump1 -> int4: the appetizer does not euphemize and does hymn pea-souper.; sent18 -> int5: the fact that the fact that the appetizer does not euphemize and does hymn pea-souper is correct does not hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the appetizer does not hymn pea-souper.; sent1 -> int8: the appetizer is unswept if it is not a tomboy and it is not a surtout.; __UNKNOWN__