the rest-cure occurs.
sent1: the bromidicness happens. sent2: the spoofing fifth happens if the spoofing Heimdall happens. sent3: if the primary happens then the rocking happens. sent4: the incommensurateness but not the self-organization occurs. sent5: that the pirate happens is not wrong. sent6: the non-Sarawakianness is caused by that the gyration happens. sent7: if the Sarawakian does not occur that not the drowsing predetermination but the bicycling occurs does not hold. sent8: the spoofing Heimdall happens if the fact that not the drowsing predetermination but the bicycling happens does not hold. sent9: the rest-cure occurs if the spoofing fifth occurs. sent10: the spoofing angioplasty does not occur. sent11: the odorousness is triggered by that the reciprocating importing happens. sent12: the drowsing dihydrostreptomycin happens if the craniometricness does not occur. sent13: the unportableness occurs. sent14: the backlash happens if the hallucinating occurs. sent15: if the surfeit happens the moneylessness occurs. sent16: if the flatbedness does not occur then the faith happens. sent17: the long-distanceness causes the devitalization. sent18: the detention does not occur. sent19: the gyration but not the reciprocating ilama occurs.
sent19 -> int1: the fact that the gyration happens hold.; sent6 & int1 -> int2: the Sarawakian does not occur.; sent7 & int2 -> int3: the fact that not the drowsing predetermination but the bicycling occurs is not true.; sent8 & int3 -> int4: the spoofing Heimdall happens.; sent2 & int4 -> int5: the spoofing fifth happens.; sent9 & int5 -> hypothesis;
$hypothesis$ = the rest-cure occurs. ; $context$ = sent1: the bromidicness happens. sent2: the spoofing fifth happens if the spoofing Heimdall happens. sent3: if the primary happens then the rocking happens. sent4: the incommensurateness but not the self-organization occurs. sent5: that the pirate happens is not wrong. sent6: the non-Sarawakianness is caused by that the gyration happens. sent7: if the Sarawakian does not occur that not the drowsing predetermination but the bicycling occurs does not hold. sent8: the spoofing Heimdall happens if the fact that not the drowsing predetermination but the bicycling happens does not hold. sent9: the rest-cure occurs if the spoofing fifth occurs. sent10: the spoofing angioplasty does not occur. sent11: the odorousness is triggered by that the reciprocating importing happens. sent12: the drowsing dihydrostreptomycin happens if the craniometricness does not occur. sent13: the unportableness occurs. sent14: the backlash happens if the hallucinating occurs. sent15: if the surfeit happens the moneylessness occurs. sent16: if the flatbedness does not occur then the faith happens. sent17: the long-distanceness causes the devitalization. sent18: the detention does not occur. sent19: the gyration but not the reciprocating ilama occurs. ; $proof$ = 
sent19 -> int1: the fact that the gyration happens hold.; sent6 & int1 -> int2: the Sarawakian does not occur.; sent7 & int2 -> int3: the fact that not the drowsing predetermination but the bicycling occurs is not true.; sent8 & int3 -> int4: the spoofing Heimdall happens.; sent2 & int4 -> int5: the spoofing fifth happens.; sent9 & int5 -> hypothesis; __PROVED__