that the diminishing footbridge happens triggers that the stocktaking but not the brooching part happens.
sent1: if the brawling happens then the sparking occurs. sent2: the anosmicness does not occur and the directing quadriplegia does not occur. sent3: that that the brooching part does not occur but the diminishing germanium occurs is not incorrect does not hold. sent4: the brooching Kauai happens and the brooching blockade-runner occurs. sent5: the fact that the sparking happens is right. sent6: if that the brooching part does not occur and the diminishing germanium does not occur is wrong then the diminishing footbridge does not occur. sent7: the directing crack and the chauffeur occurs. sent8: if the canicularness does not occur then the helm happens. sent9: the destabilizing occurs. sent10: if the spark does not occur the helming happens and the canicularness occurs. sent11: the breach happens. sent12: the diminishing footbridge happens if that the brooching part does not occur and the diminishing germanium does not occur is not right. sent13: that the stocktaking does not occur and/or the diminishing footbridge is caused by that the helming occurs. sent14: the molestation does not occur if the stocktaking does not occur or the diminishing footbridge occurs or both. sent15: the closeness does not occur. sent16: the diminishing germanium does not occur. sent17: the fact that the remand does not occur but the holozoicness happens is not wrong. sent18: that the drifting but not the objection occurs is triggered by that the stocktaking does not occur. sent19: the helming occurs. sent20: if the diminishing germanium happens the diminishing footbridge does not occur. sent21: the non-canicularness leads to that the helming happens and the stocktaking occurs. sent22: that not the canicularness but the sparking occurs is triggered by the brawling.
void -> assump2: Let's assume that that the brooching part does not occur and the diminishing germanium does not occur is incorrect.; sent6 & assump2 -> int1: the diminishing footbridge does not occur.; void -> assump1: Let's assume that the diminishing footbridge occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brooching part does not occur and the diminishing germanium does not occur.; int3 -> int4: the brooching part does not occur.;
the molestation does not occur.
$hypothesis$ = that the diminishing footbridge happens triggers that the stocktaking but not the brooching part happens. ; $context$ = sent1: if the brawling happens then the sparking occurs. sent2: the anosmicness does not occur and the directing quadriplegia does not occur. sent3: that that the brooching part does not occur but the diminishing germanium occurs is not incorrect does not hold. sent4: the brooching Kauai happens and the brooching blockade-runner occurs. sent5: the fact that the sparking happens is right. sent6: if that the brooching part does not occur and the diminishing germanium does not occur is wrong then the diminishing footbridge does not occur. sent7: the directing crack and the chauffeur occurs. sent8: if the canicularness does not occur then the helm happens. sent9: the destabilizing occurs. sent10: if the spark does not occur the helming happens and the canicularness occurs. sent11: the breach happens. sent12: the diminishing footbridge happens if that the brooching part does not occur and the diminishing germanium does not occur is not right. sent13: that the stocktaking does not occur and/or the diminishing footbridge is caused by that the helming occurs. sent14: the molestation does not occur if the stocktaking does not occur or the diminishing footbridge occurs or both. sent15: the closeness does not occur. sent16: the diminishing germanium does not occur. sent17: the fact that the remand does not occur but the holozoicness happens is not wrong. sent18: that the drifting but not the objection occurs is triggered by that the stocktaking does not occur. sent19: the helming occurs. sent20: if the diminishing germanium happens the diminishing footbridge does not occur. sent21: the non-canicularness leads to that the helming happens and the stocktaking occurs. sent22: that not the canicularness but the sparking occurs is triggered by the brawling. ; $proof$ = 
void -> assump2: Let's assume that that the brooching part does not occur and the diminishing germanium does not occur is incorrect.; sent6 & assump2 -> int1: the diminishing footbridge does not occur.; void -> assump1: Let's assume that the diminishing footbridge occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brooching part does not occur and the diminishing germanium does not occur.; int3 -> int4: the brooching part does not occur.; __UNKNOWN__