the auralness does not occur and the peasanthood does not occur.
sent1: if the luffing does not occur then the nodding sandglass does not occur. sent2: if that the rhapsodizing does not occur and the catkinateness does not occur does not hold the parenteralness does not occur. sent3: the literariness happens if the seamanlikeness happens. sent4: if the extirpation happens and the parenteralness occurs then the nodding sandglass does not occur. sent5: if the nodding cicerone happens then the fact that the auralness does not occur and the peasanthood does not occur is not right. sent6: that the nodding sandglass does not occur triggers that the pauperization happens and/or the luffing happens. sent7: that the rhapsodizing does not occur leads to that the auditoriness does not occur and/or the non-catkinateness. sent8: the fact that the rhapsodizing does not occur and the catkinateness happens is not correct. sent9: the rhapsodizing does not occur if the literariness happens. sent10: that the catkinateness happens prevents that the parenteralness occurs. sent11: if the parenteralness does not occur the extirpation does not occur. sent12: the pauperization is prevented by that the nodding cicerone and/or the luff happens. sent13: that the luffing does not occur causes that the auralness does not occur and the nodding sandglass does not occur. sent14: the fact that the rhapsodizing does not occur and the catkinateness does not occur is false. sent15: the non-parenteralness causes that the peasanthood does not occur and the extirpation does not occur. sent16: that the extirpation and the parenteralness occurs is triggered by that the catkinateness does not occur. sent17: the catkinateness is prevented by that either the non-auditoryness or the non-catkinateness or both occurs.
void -> assump1: Let's assume that the luffing occurs.; assump1 -> int1: the nodding cicerone or the luffing or both happens.; int1 & sent12 -> int2: the pauperization does not occur.; sent2 & sent14 -> int3: the parenteralness does not occur.; sent15 & int3 -> int4: the peasanthood does not occur and the extirpation does not occur.; int4 -> int5: the peasanthood does not occur.;
that the auralness does not occur and the peasanthood does not occur is not right.
$hypothesis$ = the auralness does not occur and the peasanthood does not occur. ; $context$ = sent1: if the luffing does not occur then the nodding sandglass does not occur. sent2: if that the rhapsodizing does not occur and the catkinateness does not occur does not hold the parenteralness does not occur. sent3: the literariness happens if the seamanlikeness happens. sent4: if the extirpation happens and the parenteralness occurs then the nodding sandglass does not occur. sent5: if the nodding cicerone happens then the fact that the auralness does not occur and the peasanthood does not occur is not right. sent6: that the nodding sandglass does not occur triggers that the pauperization happens and/or the luffing happens. sent7: that the rhapsodizing does not occur leads to that the auditoriness does not occur and/or the non-catkinateness. sent8: the fact that the rhapsodizing does not occur and the catkinateness happens is not correct. sent9: the rhapsodizing does not occur if the literariness happens. sent10: that the catkinateness happens prevents that the parenteralness occurs. sent11: if the parenteralness does not occur the extirpation does not occur. sent12: the pauperization is prevented by that the nodding cicerone and/or the luff happens. sent13: that the luffing does not occur causes that the auralness does not occur and the nodding sandglass does not occur. sent14: the fact that the rhapsodizing does not occur and the catkinateness does not occur is false. sent15: the non-parenteralness causes that the peasanthood does not occur and the extirpation does not occur. sent16: that the extirpation and the parenteralness occurs is triggered by that the catkinateness does not occur. sent17: the catkinateness is prevented by that either the non-auditoryness or the non-catkinateness or both occurs. ; $proof$ = 
void -> assump1: Let's assume that the luffing occurs.; assump1 -> int1: the nodding cicerone or the luffing or both happens.; int1 & sent12 -> int2: the pauperization does not occur.; sent2 & sent14 -> int3: the parenteralness does not occur.; sent15 & int3 -> int4: the peasanthood does not occur and the extirpation does not occur.; int4 -> int5: the peasanthood does not occur.; __UNKNOWN__