the bowing hire-purchase happens and/or the spare does not occur if the normalizing ceremoniousness happens.
sent1: the thermostaticness causes the coruscation. sent2: if the shrinkableness does not occur then the spare does not occur and the anaerobicness happens. sent3: if the boxing occurs then the tingeing impasse does not occur but the disengaging occurs. sent4: that the invertibleness occurs does not hold if the one-upmanship happens. sent5: the bowing mamo and the hotbedness happens. sent6: that the one-upmanship does not occur is prevented by that the slashing occurs. sent7: that the indulging happens and the normalizing ceremoniousness occurs prevents that the picking occurs. sent8: the talkie happens. sent9: either the tingeing vengeance occurs or the assignation does not occur or both. sent10: the polytheisticness does not occur. sent11: the slashing occurs. sent12: the bowing postbox does not occur if the flashing occurs. sent13: the bowing hire-purchase occurs and/or the sparing occurs. sent14: the SCNT occurs and/or the example does not occur. sent15: the anaerobicness happens. sent16: the fact that the tingeing cameo does not occur hold. sent17: the indulging happens if the fact that the shrinkableness happens is not wrong.
void -> assump2: Let's assume that the shrinkableness happens.; sent17 & assump2 -> int1: the indulging occurs.; void -> assump1: Let's assume that the normalizing ceremoniousness happens.; int1 & assump1 -> int2: that the indulging happens and the normalizing ceremoniousness happens is not wrong.; int2 & sent7 -> int3: the picking does not occur.; sent6 & sent11 -> int4: the one-upmanship occurs.;
$hypothesis$ = the bowing hire-purchase happens and/or the spare does not occur if the normalizing ceremoniousness happens. ; $context$ = sent1: the thermostaticness causes the coruscation. sent2: if the shrinkableness does not occur then the spare does not occur and the anaerobicness happens. sent3: if the boxing occurs then the tingeing impasse does not occur but the disengaging occurs. sent4: that the invertibleness occurs does not hold if the one-upmanship happens. sent5: the bowing mamo and the hotbedness happens. sent6: that the one-upmanship does not occur is prevented by that the slashing occurs. sent7: that the indulging happens and the normalizing ceremoniousness occurs prevents that the picking occurs. sent8: the talkie happens. sent9: either the tingeing vengeance occurs or the assignation does not occur or both. sent10: the polytheisticness does not occur. sent11: the slashing occurs. sent12: the bowing postbox does not occur if the flashing occurs. sent13: the bowing hire-purchase occurs and/or the sparing occurs. sent14: the SCNT occurs and/or the example does not occur. sent15: the anaerobicness happens. sent16: the fact that the tingeing cameo does not occur hold. sent17: the indulging happens if the fact that the shrinkableness happens is not wrong. ; $proof$ = 
void -> assump2: Let's assume that the shrinkableness happens.; sent17 & assump2 -> int1: the indulging occurs.; void -> assump1: Let's assume that the normalizing ceremoniousness happens.; int1 & assump1 -> int2: that the indulging happens and the normalizing ceremoniousness happens is not wrong.; int2 & sent7 -> int3: the picking does not occur.; sent6 & sent11 -> int4: the one-upmanship occurs.; __UNKNOWN__