the Egyptianness does not occur.
sent1: if the extinguishing hacker happens and the alarmism occurs that the Rabelaisianness does not occur hold. sent2: the raft does not occur if the anestrousness does not occur. sent3: the Chinese and the unpalatableness happens if the ramp does not occur. sent4: the alarmism occurs if the crabbing does not occur. sent5: that the jointing occurs but the superannuating does not occur is caused by that the incomprehensibleness occurs. sent6: if the palatableness does not occur the extinguishing hacker occurs and the extinguishing actomyosin occurs. sent7: if the fact that the setting lexicographer happens and the serviceableness does not occur does not hold that the anestrousness does not occur is right. sent8: if the diurnalness does not occur that the setting lexicographer but not the serviceableness occurs does not hold. sent9: that the Rabelaisianness does not occur leads to that the incomprehensibleness occurs and the extinguishing ascoma occurs. sent10: if the unswornness does not occur then the fact that the diurnalness and the subartesianness happens is incorrect. sent11: that the unswornness occurs is prevented by that the jointing but not the superannuating happens. sent12: that the ramp occurs and the fish does not occur is not true if the unregenerateness happens. sent13: the non-Egyptianness is triggered by that the unsanitariness occurs and/or the raft. sent14: that the unregenerateness occurs is true. sent15: if that the ramp but not the fishing happens is not right then the ramp does not occur. sent16: if that that both the diurnalness and the subartesianness occurs does not hold is not false then the diurnalness does not occur. sent17: the crabbing does not occur if that the crabbing and the carry occurs is false.
the Egyptian occurs.
sent12 & sent14 -> int1: the fact that the ramp occurs but the fish does not occur is false.; sent15 & int1 -> int2: the ramp does not occur.; sent3 & int2 -> int3: the Chinese happens but the palatableness does not occur.; int3 -> int4: the palatableness does not occur.; sent6 & int4 -> int5: both the extinguishing hacker and the extinguishing actomyosin happens.; int5 -> int6: the extinguishing hacker occurs.;
$hypothesis$ = the Egyptianness does not occur. ; $context$ = sent1: if the extinguishing hacker happens and the alarmism occurs that the Rabelaisianness does not occur hold. sent2: the raft does not occur if the anestrousness does not occur. sent3: the Chinese and the unpalatableness happens if the ramp does not occur. sent4: the alarmism occurs if the crabbing does not occur. sent5: that the jointing occurs but the superannuating does not occur is caused by that the incomprehensibleness occurs. sent6: if the palatableness does not occur the extinguishing hacker occurs and the extinguishing actomyosin occurs. sent7: if the fact that the setting lexicographer happens and the serviceableness does not occur does not hold that the anestrousness does not occur is right. sent8: if the diurnalness does not occur that the setting lexicographer but not the serviceableness occurs does not hold. sent9: that the Rabelaisianness does not occur leads to that the incomprehensibleness occurs and the extinguishing ascoma occurs. sent10: if the unswornness does not occur then the fact that the diurnalness and the subartesianness happens is incorrect. sent11: that the unswornness occurs is prevented by that the jointing but not the superannuating happens. sent12: that the ramp occurs and the fish does not occur is not true if the unregenerateness happens. sent13: the non-Egyptianness is triggered by that the unsanitariness occurs and/or the raft. sent14: that the unregenerateness occurs is true. sent15: if that the ramp but not the fishing happens is not right then the ramp does not occur. sent16: if that that both the diurnalness and the subartesianness occurs does not hold is not false then the diurnalness does not occur. sent17: the crabbing does not occur if that the crabbing and the carry occurs is false. ; $proof$ = 
__UNKNOWN__