the spraying and the serial occurs.
sent1: the brachycephalic happens. sent2: if the satisfying happens then the fact that the poling happens but the reaction does not occur does not hold. sent3: the desirableness occurs but the nonsurgicalness does not occur if that the practicing does not occur is not wrong. sent4: the fact that the ichthyolatry but not the concerning dog happens is not right. sent5: the ichthyolatry does not occur and the concerning dog does not occur. sent6: the naiveness but not the concerning partsong occurs. sent7: that the Americanness happens is not wrong. sent8: if that the save does not occur is correct the Americanness occurs. sent9: the concerning deep-freeze occurs. sent10: if the save occurs then that the ichthyolatry but not the concerning dog happens is not true. sent11: both the spraying and the concerning deep-freeze happens. sent12: that the desirableness occurs if that the desirableness does not occur and the expensing grope does not occur is wrong is not incorrect. sent13: the fact that that the ichthyolatry does not occur and the concerning dog does not occur is not right if the saving happens hold. sent14: that the ichthyolatry does not occur but the concerning dog occurs is wrong. sent15: that the fix occurs is right if the ATM does not occur. sent16: the clamber does not occur and the engineer does not occur. sent17: the serial occurs if the expensing grope does not occur. sent18: the fact that not the ichthyolatry but the concerning dog occurs is not right if the saving occurs. sent19: the cohabitation does not occur.
void -> assump1: Let's assume that the save happens.; sent13 & assump1 -> int1: that the ichthyolatry does not occur and the concerning dog does not occur is not right.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the save does not occur.; sent11 -> int4: the spraying occurs.;
the desirableness happens and the reopening fettuccine happens.
$hypothesis$ = the spraying and the serial occurs. ; $context$ = sent1: the brachycephalic happens. sent2: if the satisfying happens then the fact that the poling happens but the reaction does not occur does not hold. sent3: the desirableness occurs but the nonsurgicalness does not occur if that the practicing does not occur is not wrong. sent4: the fact that the ichthyolatry but not the concerning dog happens is not right. sent5: the ichthyolatry does not occur and the concerning dog does not occur. sent6: the naiveness but not the concerning partsong occurs. sent7: that the Americanness happens is not wrong. sent8: if that the save does not occur is correct the Americanness occurs. sent9: the concerning deep-freeze occurs. sent10: if the save occurs then that the ichthyolatry but not the concerning dog happens is not true. sent11: both the spraying and the concerning deep-freeze happens. sent12: that the desirableness occurs if that the desirableness does not occur and the expensing grope does not occur is wrong is not incorrect. sent13: the fact that that the ichthyolatry does not occur and the concerning dog does not occur is not right if the saving happens hold. sent14: that the ichthyolatry does not occur but the concerning dog occurs is wrong. sent15: that the fix occurs is right if the ATM does not occur. sent16: the clamber does not occur and the engineer does not occur. sent17: the serial occurs if the expensing grope does not occur. sent18: the fact that not the ichthyolatry but the concerning dog occurs is not right if the saving occurs. sent19: the cohabitation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the save happens.; sent13 & assump1 -> int1: that the ichthyolatry does not occur and the concerning dog does not occur is not right.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the save does not occur.; sent11 -> int4: the spraying occurs.; __UNKNOWN__