there exists something such that it is a tinning and it does not arouse jack-in-the-pulpit.
sent1: there exists nothing that is both non-alluvial and not non-infernal. sent2: the curette does not arouse jack-in-the-pulpit if the jack-in-the-pulpit does not overpower transmigration. sent3: if the down does not arouse idolizer the cryometer is not an infernal. sent4: the curette tilts if it is not derivational. sent5: that the jack-in-the-pulpit does not overpower transmigration is not wrong if the proprietress is not vaginal or it commutes or both. sent6: something does not arouse jack-in-the-pulpit. sent7: if that the cryometer does not arouse idolizer is right it is a kind of an infernal and it is alluvial. sent8: if that something is not alluvial and it is not infernal does not hold it is a kind of an infernal. sent9: the proprietress is vaginal. sent10: if the fact that the proprietress does not arouse idolizer is not false then the fact that the down arouse idolizer but it is not a threescore is not right. sent11: there exists nothing that is a kind of non-alluvial thing that is not a kind of an infernal. sent12: the curette is not derivational. sent13: there exists something such that it is a tinning. sent14: if that the down does arouse idolizer and is not a threescore is wrong the cryometer is not an infernal. sent15: if the fact that the proprietress is not vaginal or it is a commute or both does not hold it does not arouse idolizer.
void -> assump1: Let's assume that the fact that the proprietress is not vaginal or it is a commute or both is wrong.; sent15 & assump1 -> int1: the proprietress does not arouse idolizer.; int1 & sent10 -> int2: that the down arouses idolizer and is not a threescore is not true.; int2 & sent14 -> int3: the cryometer is not infernal.; sent8 -> int4: if that the cryometer is not alluvial and not an infernal is false then it is infernal.; sent11 -> int5: that the cryometer is not alluvial and not infernal is wrong.; int4 & int5 -> int6: the cryometer is an infernal.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the proprietress is not vaginal and/or is a commute.; int8 & sent5 -> int9: the jack-in-the-pulpit does not overpower transmigration.; int9 & sent2 -> int10: the curette does not arouse jack-in-the-pulpit.;
$hypothesis$ = there exists something such that it is a tinning and it does not arouse jack-in-the-pulpit. ; $context$ = sent1: there exists nothing that is both non-alluvial and not non-infernal. sent2: the curette does not arouse jack-in-the-pulpit if the jack-in-the-pulpit does not overpower transmigration. sent3: if the down does not arouse idolizer the cryometer is not an infernal. sent4: the curette tilts if it is not derivational. sent5: that the jack-in-the-pulpit does not overpower transmigration is not wrong if the proprietress is not vaginal or it commutes or both. sent6: something does not arouse jack-in-the-pulpit. sent7: if that the cryometer does not arouse idolizer is right it is a kind of an infernal and it is alluvial. sent8: if that something is not alluvial and it is not infernal does not hold it is a kind of an infernal. sent9: the proprietress is vaginal. sent10: if the fact that the proprietress does not arouse idolizer is not false then the fact that the down arouse idolizer but it is not a threescore is not right. sent11: there exists nothing that is a kind of non-alluvial thing that is not a kind of an infernal. sent12: the curette is not derivational. sent13: there exists something such that it is a tinning. sent14: if that the down does arouse idolizer and is not a threescore is wrong the cryometer is not an infernal. sent15: if the fact that the proprietress is not vaginal or it is a commute or both does not hold it does not arouse idolizer. ; $proof$ = 
void -> assump1: Let's assume that the fact that the proprietress is not vaginal or it is a commute or both is wrong.; sent15 & assump1 -> int1: the proprietress does not arouse idolizer.; int1 & sent10 -> int2: that the down arouses idolizer and is not a threescore is not true.; int2 & sent14 -> int3: the cryometer is not infernal.; sent8 -> int4: if that the cryometer is not alluvial and not an infernal is false then it is infernal.; sent11 -> int5: that the cryometer is not alluvial and not infernal is wrong.; int4 & int5 -> int6: the cryometer is an infernal.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the proprietress is not vaginal and/or is a commute.; int8 & sent5 -> int9: the jack-in-the-pulpit does not overpower transmigration.; int9 & sent2 -> int10: the curette does not arouse jack-in-the-pulpit.; __UNKNOWN__