the offering does not occur if the accessionalness happens and the swoop happens.
sent1: the tunneling occurs. sent2: the poaching occurs. sent3: the offering does not occur if the poaching happens and the swoop happens. sent4: that the omission occurs and the Jeffersonianness happens leads to that the becoming regularity does not occur. sent5: the offering happens. sent6: the squeak but not the snoozing happens if the expectoration does not occur. sent7: if the offering occurs but the dogfight does not occur then the cross-sententialness happens. sent8: that the swooping does not occur triggers that the accessionalness does not occur but the commination occurs. sent9: the overprinting Simon occurs. sent10: the milchness occurs. sent11: both the vampirism and the consecration happens. sent12: that the vampirism happens causes that the offering but not the dogfighting happens. sent13: if the accessionalness and the swooping occurs then the offering occurs. sent14: the offering occurs if the poaching and the swooping happens. sent15: the waterpower happens. sent16: the Wilsonianness is prevented by that the snoozing does not occur. sent17: the swooping does not occur and the poaching does not occur if the Wilsonianness does not occur.
void -> assump1: Let's assume that the accessionalness occurs and the swoop occurs.; assump1 -> int1: the swoop happens.; sent2 & int1 -> int2: the poaching happens and the swoop happens.; sent3 & int2 -> int3: the offering does not occur.; [assump1] & int3 -> hypothesis;
the cross-sententialness and the commination happens.
sent11 -> int4: the vampirism happens.; sent12 & int4 -> int5: the offering but not the dogfight happens.; sent7 & int5 -> int6: the cross-sententialness occurs.;
$hypothesis$ = the offering does not occur if the accessionalness happens and the swoop happens. ; $context$ = sent1: the tunneling occurs. sent2: the poaching occurs. sent3: the offering does not occur if the poaching happens and the swoop happens. sent4: that the omission occurs and the Jeffersonianness happens leads to that the becoming regularity does not occur. sent5: the offering happens. sent6: the squeak but not the snoozing happens if the expectoration does not occur. sent7: if the offering occurs but the dogfight does not occur then the cross-sententialness happens. sent8: that the swooping does not occur triggers that the accessionalness does not occur but the commination occurs. sent9: the overprinting Simon occurs. sent10: the milchness occurs. sent11: both the vampirism and the consecration happens. sent12: that the vampirism happens causes that the offering but not the dogfighting happens. sent13: if the accessionalness and the swooping occurs then the offering occurs. sent14: the offering occurs if the poaching and the swooping happens. sent15: the waterpower happens. sent16: the Wilsonianness is prevented by that the snoozing does not occur. sent17: the swooping does not occur and the poaching does not occur if the Wilsonianness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the accessionalness occurs and the swoop occurs.; assump1 -> int1: the swoop happens.; sent2 & int1 -> int2: the poaching happens and the swoop happens.; sent3 & int2 -> int3: the offering does not occur.; [assump1] & int3 -> hypothesis; __PROVED__