the counterweighting allowance happens.
sent1: if the non-simpleness and/or the non-safeness happens the barratry does not occur. sent2: the buildup occurs. sent3: that the safe occurs is brought about by the simple. sent4: that the massaging does not occur is right if the buildup does not occur. sent5: the drugging happens and the inventory happens. sent6: if the urgency does not occur but the predestination occurs then the counterweighting allowance does not occur. sent7: that the chemosurgery happens hold. sent8: the non-simpleness or the non-safeness or both occurs if that the referring tepidness does not occur hold. sent9: that both the sheathing Hokan and the non-simpleness happens is false if the referring tepidness does not occur. sent10: the inventorying happens. sent11: if the inventory happens that the drugging but not the exiting happens is false. sent12: the counterweighting allowance does not occur if the inventory but not the exiting happens. sent13: the inventory happens and the sheathing confutation occurs if that the barratry does not occur hold. sent14: if the edutainment does not occur but the dripping occurs the hesitation happens. sent15: if that the predestination does not occur and the drug happens is not false then the counterweighting allowance happens. sent16: the safe triggers that not the sheathing confutation but the barratry happens. sent17: the transferring Kinosternidae does not occur. sent18: the fact that if the sheathing confutation does not occur the inventorying happens and the exit does not occur hold. sent19: the urgency does not occur. sent20: if the inspectorship does not occur then the fact that not the sheathing Hokan but the referring tepidness occurs is incorrect. sent21: if the fact that both the sheathing Hokan and the non-simpleness occurs is false then the non-simple occurs. sent22: the predestination does not occur if the urgency does not occur.
sent22 & sent19 -> int1: the predestination does not occur.; sent5 -> int2: the drug occurs.; int1 & int2 -> int3: the predestination does not occur and the drug happens.; int3 & sent15 -> hypothesis;
the roller does not occur.
$hypothesis$ = the counterweighting allowance happens. ; $context$ = sent1: if the non-simpleness and/or the non-safeness happens the barratry does not occur. sent2: the buildup occurs. sent3: that the safe occurs is brought about by the simple. sent4: that the massaging does not occur is right if the buildup does not occur. sent5: the drugging happens and the inventory happens. sent6: if the urgency does not occur but the predestination occurs then the counterweighting allowance does not occur. sent7: that the chemosurgery happens hold. sent8: the non-simpleness or the non-safeness or both occurs if that the referring tepidness does not occur hold. sent9: that both the sheathing Hokan and the non-simpleness happens is false if the referring tepidness does not occur. sent10: the inventorying happens. sent11: if the inventory happens that the drugging but not the exiting happens is false. sent12: the counterweighting allowance does not occur if the inventory but not the exiting happens. sent13: the inventory happens and the sheathing confutation occurs if that the barratry does not occur hold. sent14: if the edutainment does not occur but the dripping occurs the hesitation happens. sent15: if that the predestination does not occur and the drug happens is not false then the counterweighting allowance happens. sent16: the safe triggers that not the sheathing confutation but the barratry happens. sent17: the transferring Kinosternidae does not occur. sent18: the fact that if the sheathing confutation does not occur the inventorying happens and the exit does not occur hold. sent19: the urgency does not occur. sent20: if the inspectorship does not occur then the fact that not the sheathing Hokan but the referring tepidness occurs is incorrect. sent21: if the fact that both the sheathing Hokan and the non-simpleness occurs is false then the non-simple occurs. sent22: the predestination does not occur if the urgency does not occur. ; $proof$ = 
sent22 & sent19 -> int1: the predestination does not occur.; sent5 -> int2: the drug occurs.; int1 & int2 -> int3: the predestination does not occur and the drug happens.; int3 & sent15 -> hypothesis; __PROVED__