the petty occurs.
sent1: if the spousalness happens the fact that the non-fossilness and the non-nosocomialness happens does not hold. sent2: the subjecting chimneypot happens. sent3: that the voting does not occur yields that the shove-halfpenny occurs and the spousalness happens. sent4: the cutinizing genealogist occurs if both the non-offshoreness and the familiarness happens. sent5: the tearlessness does not occur and the cutinizing pul does not occur. sent6: if the subjecting exuberance occurs that the magnetosphere does not occur and the biting does not occur is false. sent7: if both the shove-halfpenny and the infanticide occurs then the fact that the petty happens is not wrong. sent8: the shove-halfpenny happens and the infanticide does not occur if the offshoreness occurs. sent9: if the unfamiliarness happens the offshoreness does not occur and the petty does not occur. sent10: that the fossil does not occur and the nosocomialness does not occur is brought about by the cutinizing genealogist. sent11: that the petty occurs is triggered by that the shove-halfpenny happens and the infanticide does not occur. sent12: that the unfamiliarness does not occur is correct. sent13: the spousalness occurs. sent14: if the fossilness does not occur then the fact that the cutinizing genealogist does not occur and the nosocomialness does not occur is incorrect.
void -> assump1: Let's assume that the offshoreness does not occur.; assump1 & sent12 -> int1: both the non-offshoreness and the non-unfamiliarness occurs.; int1 & sent4 -> int2: the fact that the cutinizing genealogist occurs is right.; int2 & sent10 -> int3: the non-fossilness and the non-nosocomialness occurs.; sent1 & sent13 -> int4: the fact that the non-fossilness and the non-nosocomialness occurs does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the offshoreness happens.; int6 & sent8 -> int7: the shove-halfpenny but not the infanticide occurs.; int7 & sent11 -> hypothesis;
the petty does not occur.
$hypothesis$ = the petty occurs. ; $context$ = sent1: if the spousalness happens the fact that the non-fossilness and the non-nosocomialness happens does not hold. sent2: the subjecting chimneypot happens. sent3: that the voting does not occur yields that the shove-halfpenny occurs and the spousalness happens. sent4: the cutinizing genealogist occurs if both the non-offshoreness and the familiarness happens. sent5: the tearlessness does not occur and the cutinizing pul does not occur. sent6: if the subjecting exuberance occurs that the magnetosphere does not occur and the biting does not occur is false. sent7: if both the shove-halfpenny and the infanticide occurs then the fact that the petty happens is not wrong. sent8: the shove-halfpenny happens and the infanticide does not occur if the offshoreness occurs. sent9: if the unfamiliarness happens the offshoreness does not occur and the petty does not occur. sent10: that the fossil does not occur and the nosocomialness does not occur is brought about by the cutinizing genealogist. sent11: that the petty occurs is triggered by that the shove-halfpenny happens and the infanticide does not occur. sent12: that the unfamiliarness does not occur is correct. sent13: the spousalness occurs. sent14: if the fossilness does not occur then the fact that the cutinizing genealogist does not occur and the nosocomialness does not occur is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the offshoreness does not occur.; assump1 & sent12 -> int1: both the non-offshoreness and the non-unfamiliarness occurs.; int1 & sent4 -> int2: the fact that the cutinizing genealogist occurs is right.; int2 & sent10 -> int3: the non-fossilness and the non-nosocomialness occurs.; sent1 & sent13 -> int4: the fact that the non-fossilness and the non-nosocomialness occurs does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the offshoreness happens.; int6 & sent8 -> int7: the shove-halfpenny but not the infanticide occurs.; int7 & sent11 -> hypothesis; __PROVED__