the marking tyrannicide does not occur.
sent1: if the protrusiveness does not occur then the fact that both the marking tyrannicide and the marking dispenser happens is not false. sent2: the non-apopempticness is caused by that the amphibiousness occurs. sent3: the amphibiousness happens and/or the piss-up does not occur if the mercurialness happens. sent4: the marking liabilities occurs. sent5: the preoccupying oppressor does not occur but the washableness occurs. sent6: the fact that the marshaling Georgia happens is not wrong. sent7: both the mercurialness and the marking underfelt happens if the preoccupying oppressor does not occur. sent8: if the marking centimo occurs then the marshaling Georgia does not occur. sent9: the marking dispenser and the protrusiveness happens. sent10: the marking dispenser happens. sent11: if the marshaling Georgia occurs then the marking cremation occurs. sent12: that the marking tyrannicide does not occur is triggered by that the protrusiveness and the marking cremation occurs. sent13: the non-apopempticness leads to that the marking centimo happens and the painting occurs.
sent9 -> int1: the protrusiveness happens.; sent11 & sent6 -> int2: the marking cremation occurs.; int1 & int2 -> int3: the protrusiveness happens and the marking cremation occurs.; int3 & sent12 -> hypothesis;
the fact that the marking tyrannicide happens is not incorrect.
sent5 -> int4: the preoccupying oppressor does not occur.; sent7 & int4 -> int5: both the mercurialness and the marking underfelt occurs.; int5 -> int6: the mercurialness occurs.; sent3 & int6 -> int7: the amphibiousness happens and/or the piss-up does not occur.;
$hypothesis$ = the marking tyrannicide does not occur. ; $context$ = sent1: if the protrusiveness does not occur then the fact that both the marking tyrannicide and the marking dispenser happens is not false. sent2: the non-apopempticness is caused by that the amphibiousness occurs. sent3: the amphibiousness happens and/or the piss-up does not occur if the mercurialness happens. sent4: the marking liabilities occurs. sent5: the preoccupying oppressor does not occur but the washableness occurs. sent6: the fact that the marshaling Georgia happens is not wrong. sent7: both the mercurialness and the marking underfelt happens if the preoccupying oppressor does not occur. sent8: if the marking centimo occurs then the marshaling Georgia does not occur. sent9: the marking dispenser and the protrusiveness happens. sent10: the marking dispenser happens. sent11: if the marshaling Georgia occurs then the marking cremation occurs. sent12: that the marking tyrannicide does not occur is triggered by that the protrusiveness and the marking cremation occurs. sent13: the non-apopempticness leads to that the marking centimo happens and the painting occurs. ; $proof$ = 
sent9 -> int1: the protrusiveness happens.; sent11 & sent6 -> int2: the marking cremation occurs.; int1 & int2 -> int3: the protrusiveness happens and the marking cremation occurs.; int3 & sent12 -> hypothesis; __PROVED__