the tincturing occurs.
sent1: either the brand or the on-streetness or both happens if the disobeying junco does not occur. sent2: if that the newspeak does not occur is not false that the swish does not occur and the supplicating does not occur is not correct. sent3: if the polymorphism and the daring occurs the nettling guar occurs. sent4: that the newspeak does not occur is caused by the waterloo. sent5: the waterloo happens if the fact that the Ping happens is not false. sent6: if the fact that the polymorphism does not occur but the dare occurs is not correct the spermousness does not occur. sent7: the fact that the polymorphism and the dare occurs does not hold. sent8: the spermousness occurs. sent9: the nettling vicissitude does not occur if that the swish does not occur and the supplicating does not occur is not correct. sent10: the polymorphism does not occur. sent11: if not the polymorphism but the dare occurs then the nettling guar occurs. sent12: that the spermousness does not occur and the nettling guar does not occur yields that the tincture does not occur. sent13: that the spermousness does not occur is triggered by that the polymorphism happens. sent14: the spermousness does not occur and the nettling guar does not occur if the nettling vicissitude does not occur. sent15: the tincture happens if the nettling guar occurs.
void -> assump1: Let's assume that that the fact that the polymorphism does not occur but the daring happens hold is not correct.; sent6 & assump1 -> int1: the spermousness does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the polymorphism does not occur but the daring happens.; int3 & sent11 -> int4: the nettling guar happens.; int4 & sent15 -> hypothesis;
the tincturing does not occur.
$hypothesis$ = the tincturing occurs. ; $context$ = sent1: either the brand or the on-streetness or both happens if the disobeying junco does not occur. sent2: if that the newspeak does not occur is not false that the swish does not occur and the supplicating does not occur is not correct. sent3: if the polymorphism and the daring occurs the nettling guar occurs. sent4: that the newspeak does not occur is caused by the waterloo. sent5: the waterloo happens if the fact that the Ping happens is not false. sent6: if the fact that the polymorphism does not occur but the dare occurs is not correct the spermousness does not occur. sent7: the fact that the polymorphism and the dare occurs does not hold. sent8: the spermousness occurs. sent9: the nettling vicissitude does not occur if that the swish does not occur and the supplicating does not occur is not correct. sent10: the polymorphism does not occur. sent11: if not the polymorphism but the dare occurs then the nettling guar occurs. sent12: that the spermousness does not occur and the nettling guar does not occur yields that the tincture does not occur. sent13: that the spermousness does not occur is triggered by that the polymorphism happens. sent14: the spermousness does not occur and the nettling guar does not occur if the nettling vicissitude does not occur. sent15: the tincture happens if the nettling guar occurs. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the polymorphism does not occur but the daring happens hold is not correct.; sent6 & assump1 -> int1: the spermousness does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the polymorphism does not occur but the daring happens.; int3 & sent11 -> int4: the nettling guar happens.; int4 & sent15 -> hypothesis; __PROVED__