the craps but not the biennial occurs.
sent1: that the sericulture occurs is prevented by that the backstroke does not occur but the unrenewableness occurs. sent2: that the pursuing does not occur triggers that the anserineness does not occur and the rotating worse does not occur. sent3: the Nelson occurs and/or the obscenity happens. sent4: the backstroke happens if the unrenewableness does not occur. sent5: if the benefaction does not occur that the shuddering happens and the unemotionalness occurs is right. sent6: that the emulousness does not occur and the tree does not occur prevents that the gearing Turkoman occurs. sent7: if the declamation does not occur the lobectomy but not the prejudicing lacteal happens. sent8: the emulousness does not occur. sent9: that the strongness but not the crocheting occurs prevents that the pursuing occurs. sent10: the acquisitiveness does not occur. sent11: the emulousness does not occur and the treeing does not occur if the recount happens. sent12: the non-emulousness leads to that the craps but not the treeing occurs. sent13: that the elasticness does not occur is brought about by that the makeup does not occur. sent14: the unrenewableness does not occur if the sericulture and/or the biennial occurs. sent15: that the shuddering happens brings about that the strongness but not the crocheting occurs. sent16: the benefaction does not occur if the interning does not occur. sent17: that the rotating subsection does not occur or that the measurableness happens or both causes that the interning does not occur. sent18: both the makeup and the recount occurs if the anserineness does not occur.
void -> assump1: Let's assume that the biennial occurs.; assump1 -> int1: the sericulture happens or the biennial occurs or both.; int1 & sent14 -> int2: the unrenewableness does not occur.; int2 & sent4 -> int3: the backstroke occurs.; sent12 & sent8 -> int4: the craps but not the tree happens.; int4 -> int5: the craps happens.;
the fact that the fact that the craps but not the biennialness occurs is false is true.
$hypothesis$ = the craps but not the biennial occurs. ; $context$ = sent1: that the sericulture occurs is prevented by that the backstroke does not occur but the unrenewableness occurs. sent2: that the pursuing does not occur triggers that the anserineness does not occur and the rotating worse does not occur. sent3: the Nelson occurs and/or the obscenity happens. sent4: the backstroke happens if the unrenewableness does not occur. sent5: if the benefaction does not occur that the shuddering happens and the unemotionalness occurs is right. sent6: that the emulousness does not occur and the tree does not occur prevents that the gearing Turkoman occurs. sent7: if the declamation does not occur the lobectomy but not the prejudicing lacteal happens. sent8: the emulousness does not occur. sent9: that the strongness but not the crocheting occurs prevents that the pursuing occurs. sent10: the acquisitiveness does not occur. sent11: the emulousness does not occur and the treeing does not occur if the recount happens. sent12: the non-emulousness leads to that the craps but not the treeing occurs. sent13: that the elasticness does not occur is brought about by that the makeup does not occur. sent14: the unrenewableness does not occur if the sericulture and/or the biennial occurs. sent15: that the shuddering happens brings about that the strongness but not the crocheting occurs. sent16: the benefaction does not occur if the interning does not occur. sent17: that the rotating subsection does not occur or that the measurableness happens or both causes that the interning does not occur. sent18: both the makeup and the recount occurs if the anserineness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the biennial occurs.; assump1 -> int1: the sericulture happens or the biennial occurs or both.; int1 & sent14 -> int2: the unrenewableness does not occur.; int2 & sent4 -> int3: the backstroke occurs.; sent12 & sent8 -> int4: the craps but not the tree happens.; int4 -> int5: the craps happens.; __UNKNOWN__