the honing sorted does not occur.
sent1: that the Anglo-catholicness occurs triggers that the martyrdom does not occur and the kick does not occur. sent2: the overprotecting does not occur. sent3: if that the rbi does not occur but the purchase occurs is wrong then the rbi happens. sent4: if that the agroundness and the fossiliferousness happens does not hold the agroundness does not occur. sent5: if the Nicaraguan happens then the monstrosity does not occur. sent6: the Anglo-catholicness occurs if the agroundness does not occur. sent7: both the honing dobbin and the learning happens if the monstrosity does not occur. sent8: the honing sorted does not occur if the fact that the doddle does not occur and the damaging happens is not true. sent9: both the purchase and the learning occurs. sent10: that the prolapse occurs prevents the outgrowing stayer. sent11: the fact that the honing skiffle and the salvaging happens is not true if the shoot-down does not occur. sent12: the recreating does not occur if the fact that the honing skiffle and the salvaging occurs does not hold. sent13: that the shoot-down does not occur and the honing Ventner does not occur is triggered by that the repulsion does not occur. sent14: that the Nicaraguanness happens and the overshoot occurs is brought about by the non-penumbralness. sent15: the doddle does not occur. sent16: the fact that that the agroundness and the fossiliferousness occurs is incorrect is true if the recreating does not occur. sent17: the repulsion does not occur if the doddle does not occur and the overprotecting does not occur. sent18: that the purchase happens is prevented by that not the doddle but the damages happens. sent19: that the martyrdom does not occur brings about that the arthroplasty happens and the penumbralness does not occur. sent20: that the rbi does not occur and the purchase occurs is false if the honing sorted happens.
void -> assump1: Let's assume that the doddle does not occur and the damaging happens.; sent18 & assump1 -> int1: the purchase does not occur.; sent9 -> int2: the purchase happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the doddle does not occur and the damages occurs does not hold.; int4 & sent8 -> hypothesis;
the rbi happens.
sent15 & sent2 -> int5: the doddle does not occur and the overprotecting does not occur.; sent17 & int5 -> int6: the repulsion does not occur.; sent13 & int6 -> int7: the shoot-down does not occur and the honing Ventner does not occur.; int7 -> int8: the shoot-down does not occur.; sent11 & int8 -> int9: the fact that the honing skiffle happens and the salvage happens is false.; sent12 & int9 -> int10: the recreating does not occur.; sent16 & int10 -> int11: that the agroundness and the fossiliferousness happens is false.; sent4 & int11 -> int12: the agroundness does not occur.; sent6 & int12 -> int13: the Anglo-catholicness happens.; sent1 & int13 -> int14: the martyrdom does not occur and the kicking does not occur.; int14 -> int15: the fact that the martyrdom does not occur is not wrong.; sent19 & int15 -> int16: the arthroplasty but not the penumbralness happens.; int16 -> int17: the fact that the penumbralness does not occur hold.; sent14 & int17 -> int18: the Nicaraguanness happens and the overshoot happens.; int18 -> int19: the Nicaraguan occurs.; sent5 & int19 -> int20: the fact that the monstrosity does not occur is correct.; sent7 & int20 -> int21: the honing dobbin and the learning occurs.; int21 -> int22: the learning occurs.;
$hypothesis$ = the honing sorted does not occur. ; $context$ = sent1: that the Anglo-catholicness occurs triggers that the martyrdom does not occur and the kick does not occur. sent2: the overprotecting does not occur. sent3: if that the rbi does not occur but the purchase occurs is wrong then the rbi happens. sent4: if that the agroundness and the fossiliferousness happens does not hold the agroundness does not occur. sent5: if the Nicaraguan happens then the monstrosity does not occur. sent6: the Anglo-catholicness occurs if the agroundness does not occur. sent7: both the honing dobbin and the learning happens if the monstrosity does not occur. sent8: the honing sorted does not occur if the fact that the doddle does not occur and the damaging happens is not true. sent9: both the purchase and the learning occurs. sent10: that the prolapse occurs prevents the outgrowing stayer. sent11: the fact that the honing skiffle and the salvaging happens is not true if the shoot-down does not occur. sent12: the recreating does not occur if the fact that the honing skiffle and the salvaging occurs does not hold. sent13: that the shoot-down does not occur and the honing Ventner does not occur is triggered by that the repulsion does not occur. sent14: that the Nicaraguanness happens and the overshoot occurs is brought about by the non-penumbralness. sent15: the doddle does not occur. sent16: the fact that that the agroundness and the fossiliferousness occurs is incorrect is true if the recreating does not occur. sent17: the repulsion does not occur if the doddle does not occur and the overprotecting does not occur. sent18: that the purchase happens is prevented by that not the doddle but the damages happens. sent19: that the martyrdom does not occur brings about that the arthroplasty happens and the penumbralness does not occur. sent20: that the rbi does not occur and the purchase occurs is false if the honing sorted happens. ; $proof$ = 
void -> assump1: Let's assume that the doddle does not occur and the damaging happens.; sent18 & assump1 -> int1: the purchase does not occur.; sent9 -> int2: the purchase happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the doddle does not occur and the damages occurs does not hold.; int4 & sent8 -> hypothesis; __PROVED__