the spending motherwort happens and the defenestration occurs.
sent1: if the gravity does not occur and the trudge does not occur the spending fieldfare does not occur. sent2: if that the fact that the spending American and the shoot happens is wrong hold the spending American does not occur. sent3: that the laboring applecart does not occur is not false. sent4: that the spending motherwort does not occur is prevented by that the gravity does not occur. sent5: the proprietaryness is prevented by that the hill happens. sent6: the nonproprietariness occurs and the defenestration occurs. sent7: if that the rhinoscopy and the non-electiveness happens is not correct then the spending fieldfare occurs. sent8: the nonproprietariness happens. sent9: if that the clog does not occur is correct then the fact that the correlating and the spending precordium happens is incorrect. sent10: if the exaltation does not occur then the fact that the rhinoscopy happens and the electiveness does not occur is false. sent11: the fact that the rehabilitating finance but not the hepaticness happens is not right if the spending angered does not occur. sent12: the fact that the laboring privilege and the laboring ride occurs does not hold. sent13: if the spending American does not occur then the rehabilitating pungency happens and the untrustworthiness happens. sent14: if the rhinoscopy does not occur the fact that the spending motherwort and the defenestration occurs is not correct. sent15: if that the laboring universal but not the tick occurs does not hold then the confluence happens. sent16: the spending fieldfare occurs if that the rhinoscopy does not occur is not incorrect. sent17: that the exaltation does not occur is not wrong if the laboring privilege does not occur. sent18: the trudge does not occur if both the spending fieldfare and the gravity occurs. sent19: if the rehabilitating pungency happens the hill occurs. sent20: the exaltation does not occur if that the laboring privilege happens and the laboring ride occurs is not right.
sent20 & sent12 -> int1: the exaltation does not occur.; int1 & sent10 -> int2: the fact that the rhinoscopy and the non-electiveness occurs is not correct.; int2 & sent7 -> int3: the spending fieldfare occurs.; void -> assump1: Let's assume that the gravity happens.; int3 & assump1 -> int4: the spending fieldfare happens and the gravity happens.; int4 & sent18 -> int5: the trudge does not occur.; sent6 -> int6: the defenestration occurs.;
the fact that both the spending motherwort and the defenestration occurs does not hold.
$hypothesis$ = the spending motherwort happens and the defenestration occurs. ; $context$ = sent1: if the gravity does not occur and the trudge does not occur the spending fieldfare does not occur. sent2: if that the fact that the spending American and the shoot happens is wrong hold the spending American does not occur. sent3: that the laboring applecart does not occur is not false. sent4: that the spending motherwort does not occur is prevented by that the gravity does not occur. sent5: the proprietaryness is prevented by that the hill happens. sent6: the nonproprietariness occurs and the defenestration occurs. sent7: if that the rhinoscopy and the non-electiveness happens is not correct then the spending fieldfare occurs. sent8: the nonproprietariness happens. sent9: if that the clog does not occur is correct then the fact that the correlating and the spending precordium happens is incorrect. sent10: if the exaltation does not occur then the fact that the rhinoscopy happens and the electiveness does not occur is false. sent11: the fact that the rehabilitating finance but not the hepaticness happens is not right if the spending angered does not occur. sent12: the fact that the laboring privilege and the laboring ride occurs does not hold. sent13: if the spending American does not occur then the rehabilitating pungency happens and the untrustworthiness happens. sent14: if the rhinoscopy does not occur the fact that the spending motherwort and the defenestration occurs is not correct. sent15: if that the laboring universal but not the tick occurs does not hold then the confluence happens. sent16: the spending fieldfare occurs if that the rhinoscopy does not occur is not incorrect. sent17: that the exaltation does not occur is not wrong if the laboring privilege does not occur. sent18: the trudge does not occur if both the spending fieldfare and the gravity occurs. sent19: if the rehabilitating pungency happens the hill occurs. sent20: the exaltation does not occur if that the laboring privilege happens and the laboring ride occurs is not right. ; $proof$ = 
sent20 & sent12 -> int1: the exaltation does not occur.; int1 & sent10 -> int2: the fact that the rhinoscopy and the non-electiveness occurs is not correct.; int2 & sent7 -> int3: the spending fieldfare occurs.; void -> assump1: Let's assume that the gravity happens.; int3 & assump1 -> int4: the spending fieldfare happens and the gravity happens.; int4 & sent18 -> int5: the trudge does not occur.; sent6 -> int6: the defenestration occurs.; __UNKNOWN__