the yielding barrelfish does not occur.
sent1: the jobbing lawlessness does not occur and the botulinalness does not occur if the yielding alkaloid does not occur. sent2: if the concentricness does not occur then the Somalian happens and the yielding coelenteron occurs. sent3: the concentricness does not occur if that the loyalty and the pyramiding happens is not right. sent4: if the fact that the Somalian does not occur hold then the fact that the non-feverishness and the disembowelling camisole happens is not correct. sent5: if both the disembowelling camisole and the non-feverishness happens the yielding barrelfish occurs. sent6: that the non-concentricness and the loyalty occurs is triggered by that the pyramid does not occur. sent7: the monte does not occur. sent8: the sexualness does not occur and the souther does not occur if the jobbing lawlessness does not occur. sent9: if the defervescentness does not occur then the fact that the loyalty and the pyramid happens does not hold. sent10: that the defervescentness does not occur is triggered by either the defervescentnessness or that the campaigning does not occur or both. sent11: the disembowelling camisole but not the feverishness happens if the Somalianness occurs. sent12: if the feverishness happens then that the weather does not occur and the campaigning happens does not hold. sent13: that the campaigning does not occur is triggered by that the sexualness does not occur and the souther does not occur. sent14: that the hiding does not occur and the yielding alkaloid does not occur is brought about by the non-Monophysiteness. sent15: the Somalianness does not occur. sent16: the yielding barrelfish happens if the Somalian happens. sent17: the feverishness does not occur.
void -> assump1: Let's assume that the disembowelling camisole occurs.; sent17 & assump1 -> int1: the non-feverishness and the disembowelling camisole occurs.; sent4 & sent15 -> int2: that not the feverishness but the disembowelling camisole happens is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the disembowelling camisole does not occur.;
the yielding barrelfish happens.
$hypothesis$ = the yielding barrelfish does not occur. ; $context$ = sent1: the jobbing lawlessness does not occur and the botulinalness does not occur if the yielding alkaloid does not occur. sent2: if the concentricness does not occur then the Somalian happens and the yielding coelenteron occurs. sent3: the concentricness does not occur if that the loyalty and the pyramiding happens is not right. sent4: if the fact that the Somalian does not occur hold then the fact that the non-feverishness and the disembowelling camisole happens is not correct. sent5: if both the disembowelling camisole and the non-feverishness happens the yielding barrelfish occurs. sent6: that the non-concentricness and the loyalty occurs is triggered by that the pyramid does not occur. sent7: the monte does not occur. sent8: the sexualness does not occur and the souther does not occur if the jobbing lawlessness does not occur. sent9: if the defervescentness does not occur then the fact that the loyalty and the pyramid happens does not hold. sent10: that the defervescentness does not occur is triggered by either the defervescentnessness or that the campaigning does not occur or both. sent11: the disembowelling camisole but not the feverishness happens if the Somalianness occurs. sent12: if the feverishness happens then that the weather does not occur and the campaigning happens does not hold. sent13: that the campaigning does not occur is triggered by that the sexualness does not occur and the souther does not occur. sent14: that the hiding does not occur and the yielding alkaloid does not occur is brought about by the non-Monophysiteness. sent15: the Somalianness does not occur. sent16: the yielding barrelfish happens if the Somalian happens. sent17: the feverishness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the disembowelling camisole occurs.; sent17 & assump1 -> int1: the non-feverishness and the disembowelling camisole occurs.; sent4 & sent15 -> int2: that not the feverishness but the disembowelling camisole happens is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the disembowelling camisole does not occur.; __UNKNOWN__