the swallowtail is an emporium.
sent1: the pasha is not proximate. sent2: if that the marang is a blowtorch is not wrong then the savior is not a kind of a kroon. sent3: there is something such that that it is a kroon and it does slog does not hold. sent4: the pasha does not slog if there exists something such that that it is a kind of a kroon and it slog is not true. sent5: there is something such that it does not reschedule Seton. sent6: something is indelicate. sent7: something is indelicate if it is precise. sent8: if there is something such that it is indelicate and it is not a kind of a kroon then the swallowtail is an emporium. sent9: the marang is a kind of a clitoridectomy. sent10: if there is something such that it does not reschedule Seton the pasha is non-proximate. sent11: the fact that if the fact that something does not reschedule Seton is right the pasha is not proximate but it is extant is not incorrect. sent12: the savior does slog if the pasha is not proximate but it is extant. sent13: there exists something such that it reschedules Seton. sent14: the marang is a blowtorch and it is a clitoridectomy. sent15: the savior slogs if the pasha is both proximate and extant. sent16: the savior is precise if it slogs.
sent5 & sent11 -> int1: the pasha is both not proximate and extant.; int1 & sent12 -> int2: the savior slogs.; int2 & sent16 -> int3: that the savior is precise is correct.; sent7 -> int4: the savior is indelicate if it is precise.; int3 & int4 -> int5: the savior is not decorous.; sent14 -> int6: the marang is a blowtorch.; sent2 & int6 -> int7: the savior is not a kroon.; int5 & int7 -> int8: the fact that the savior is indelicate but it is not a kind of a kroon is not false.; int8 -> int9: there is something such that it is indelicate and not a kroon.; int9 & sent8 -> hypothesis;
the punchboard is extant.
sent3 & sent4 -> int10: the pasha does not slog.;
$hypothesis$ = the swallowtail is an emporium. ; $context$ = sent1: the pasha is not proximate. sent2: if that the marang is a blowtorch is not wrong then the savior is not a kind of a kroon. sent3: there is something such that that it is a kroon and it does slog does not hold. sent4: the pasha does not slog if there exists something such that that it is a kind of a kroon and it slog is not true. sent5: there is something such that it does not reschedule Seton. sent6: something is indelicate. sent7: something is indelicate if it is precise. sent8: if there is something such that it is indelicate and it is not a kind of a kroon then the swallowtail is an emporium. sent9: the marang is a kind of a clitoridectomy. sent10: if there is something such that it does not reschedule Seton the pasha is non-proximate. sent11: the fact that if the fact that something does not reschedule Seton is right the pasha is not proximate but it is extant is not incorrect. sent12: the savior does slog if the pasha is not proximate but it is extant. sent13: there exists something such that it reschedules Seton. sent14: the marang is a blowtorch and it is a clitoridectomy. sent15: the savior slogs if the pasha is both proximate and extant. sent16: the savior is precise if it slogs. ; $proof$ = 
sent5 & sent11 -> int1: the pasha is both not proximate and extant.; int1 & sent12 -> int2: the savior slogs.; int2 & sent16 -> int3: that the savior is precise is correct.; sent7 -> int4: the savior is indelicate if it is precise.; int3 & int4 -> int5: the savior is not decorous.; sent14 -> int6: the marang is a blowtorch.; sent2 & int6 -> int7: the savior is not a kroon.; int5 & int7 -> int8: the fact that the savior is indelicate but it is not a kind of a kroon is not false.; int8 -> int9: there is something such that it is indelicate and not a kroon.; int9 & sent8 -> hypothesis; __PROVED__