that the scouting does not occur and/or the dedication happens is triggered by the invigilating.
sent1: not the invigilating but the reigning neotony occurs if the quickening happens. sent2: if that the prop happens is right then the murder happens. sent3: the fact that that not the retrial but the propping happens is wrong hold if the contumacy occurs. sent4: the greening does not occur if that the arrival happens and the quickening occurs does not hold. sent5: the primateship occurs if the polypectomy happens. sent6: the arrival occurs if the fact that the quickening does not occur is right. sent7: if the murdering does not occur the fact that the arrival happens and the quickening happens is not correct. sent8: if that the retrial does not occur and the prop does not occur is not right the murdering happens. sent9: the annoying occurs and/or the polypectomy happens. sent10: that the invigilating occurs triggers the scouting or that the dedication occurs or both. sent11: the fact that the retrial does not occur but the prop happens is not right. sent12: that the reigning neotony does not occur is prevented by the quickening. sent13: the inuring occurs and the diagonalizableness occurs. sent14: the scouting and/or the dedication occurs. sent15: the scouting occurs. sent16: the contumacy occurs if the fact that the primateship happens is not wrong. sent17: the scouting does not occur if the arrival and the murder happens. sent18: that the arrival and the murder occurs leads to that the scouting happens. sent19: the fact that that the retrial does not occur and the propping does not occur does not hold if the contumacy occurs is not incorrect.
void -> assump1: Let's assume that the quickening happens.; sent1 & assump1 -> int1: the invigilating does not occur and the reigning neotony occurs.; int1 -> int2: the invigilating does not occur.; void -> assump2: Let's assume that the invigilating occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the quickening does not occur.; int4 & sent6 -> int5: the arrival happens.;
the greening does not occur.
$hypothesis$ = that the scouting does not occur and/or the dedication happens is triggered by the invigilating. ; $context$ = sent1: not the invigilating but the reigning neotony occurs if the quickening happens. sent2: if that the prop happens is right then the murder happens. sent3: the fact that that not the retrial but the propping happens is wrong hold if the contumacy occurs. sent4: the greening does not occur if that the arrival happens and the quickening occurs does not hold. sent5: the primateship occurs if the polypectomy happens. sent6: the arrival occurs if the fact that the quickening does not occur is right. sent7: if the murdering does not occur the fact that the arrival happens and the quickening happens is not correct. sent8: if that the retrial does not occur and the prop does not occur is not right the murdering happens. sent9: the annoying occurs and/or the polypectomy happens. sent10: that the invigilating occurs triggers the scouting or that the dedication occurs or both. sent11: the fact that the retrial does not occur but the prop happens is not right. sent12: that the reigning neotony does not occur is prevented by the quickening. sent13: the inuring occurs and the diagonalizableness occurs. sent14: the scouting and/or the dedication occurs. sent15: the scouting occurs. sent16: the contumacy occurs if the fact that the primateship happens is not wrong. sent17: the scouting does not occur if the arrival and the murder happens. sent18: that the arrival and the murder occurs leads to that the scouting happens. sent19: the fact that that the retrial does not occur and the propping does not occur does not hold if the contumacy occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the quickening happens.; sent1 & assump1 -> int1: the invigilating does not occur and the reigning neotony occurs.; int1 -> int2: the invigilating does not occur.; void -> assump2: Let's assume that the invigilating occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the quickening does not occur.; int4 & sent6 -> int5: the arrival happens.; __UNKNOWN__