the central happens and the papillateness occurs if the bigamy does not occur.
sent1: if the fact that the cinematicness does not occur hold then the fact that the Singaporean happens is true. sent2: that the custodianship but not the copying occurs is false if the pecticness occurs. sent3: the incidentalness does not occur if that the custodianship but not the copying happens is not true. sent4: if the incidentalness does not occur that the postictalness happens and the papillateness happens hold. sent5: the pecticness occurs. sent6: that the bigamy does not occur is prevented by that the cinematicness occurs. sent7: the winglessness does not occur if the fact that the bigamy occurs but the cinematicness does not occur is not true. sent8: the centralness and the papillateness happens if the bigamy occurs. sent9: the fact that the incidentalness does not occur is not wrong if the custodianship does not occur. sent10: that the cachinnating happens leads to that both the phreaticness and the whelping Shrovetide happens. sent11: if the Singaporean occurs then the central happens. sent12: the non-incidentalness prevents that the postictalness does not occur. sent13: if the arbitrariness happens then the fact that the cruising happens hold. sent14: the postictalness occurs. sent15: if that the disservice happens is not false the fact that the behavioristicness and the resale occurs is incorrect. sent16: the arbitrariness does not occur.
void -> assump2: Let's assume that the cinematicness occurs.; sent6 & assump2 -> int1: the bigamy occurs.; void -> assump1: Let's assume that the bigamy does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the cinematicness does not occur.; int3 & sent1 -> int4: the Singaporean occurs.; int4 & sent11 -> int5: the central occurs.; sent2 & sent5 -> int6: that the custodianship happens and the copying does not occur is incorrect.; sent3 & int6 -> int7: the incidental does not occur.; sent4 & int7 -> int8: the postictalness and the papillateness happens.; int8 -> int9: the papillateness occurs.; int5 & int9 -> int10: the centralness and the papillateness occurs.; [assump1] & int10 -> hypothesis;
the winglessness does not occur.
$hypothesis$ = the central happens and the papillateness occurs if the bigamy does not occur. ; $context$ = sent1: if the fact that the cinematicness does not occur hold then the fact that the Singaporean happens is true. sent2: that the custodianship but not the copying occurs is false if the pecticness occurs. sent3: the incidentalness does not occur if that the custodianship but not the copying happens is not true. sent4: if the incidentalness does not occur that the postictalness happens and the papillateness happens hold. sent5: the pecticness occurs. sent6: that the bigamy does not occur is prevented by that the cinematicness occurs. sent7: the winglessness does not occur if the fact that the bigamy occurs but the cinematicness does not occur is not true. sent8: the centralness and the papillateness happens if the bigamy occurs. sent9: the fact that the incidentalness does not occur is not wrong if the custodianship does not occur. sent10: that the cachinnating happens leads to that both the phreaticness and the whelping Shrovetide happens. sent11: if the Singaporean occurs then the central happens. sent12: the non-incidentalness prevents that the postictalness does not occur. sent13: if the arbitrariness happens then the fact that the cruising happens hold. sent14: the postictalness occurs. sent15: if that the disservice happens is not false the fact that the behavioristicness and the resale occurs is incorrect. sent16: the arbitrariness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the cinematicness occurs.; sent6 & assump2 -> int1: the bigamy occurs.; void -> assump1: Let's assume that the bigamy does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the cinematicness does not occur.; int3 & sent1 -> int4: the Singaporean occurs.; int4 & sent11 -> int5: the central occurs.; sent2 & sent5 -> int6: that the custodianship happens and the copying does not occur is incorrect.; sent3 & int6 -> int7: the incidental does not occur.; sent4 & int7 -> int8: the postictalness and the papillateness happens.; int8 -> int9: the papillateness occurs.; int5 & int9 -> int10: the centralness and the papillateness occurs.; [assump1] & int10 -> hypothesis; __PROVED__