the amino does not occur.
sent1: if the confining allergen occurs then the fact that the Orion happens but the bash does not occur is not right. sent2: if that the unexpendableness does not occur and the purporting does not occur is wrong then the supposing happens. sent3: the fact that the whiz occurs is not false if that the confining pasang or the non-triumphalness or both occurs is not correct. sent4: the contemning Exocet does not occur if the fact that the uncovering does not occur is not wrong. sent5: the contemning Phalaropidae happens if the baccateness does not occur. sent6: that either the confining pasang or the non-triumphalness or both occurs is wrong if the pilosebaceousness does not occur. sent7: the necromanticness but not the bonfire happens. sent8: that the sidelining kentan does not occur and the confining allergen does not occur is triggered by the supposing. sent9: the non-aminoness is brought about by that the hypophysectomy and the ridiculing Origen occurs. sent10: that the confining allergen does not occur yields that not the ridiculing Origen but the Orion occurs. sent11: that both the ambassadorship and the confining grapevine happens is wrong. sent12: if the triumphalness does not occur then both the amino and the pilosebaceousness happens. sent13: the satisfaction does not occur. sent14: that that the wholesomeness happens and the satisfaction does not occur is not correct is true if the pilosebaceousness happens. sent15: if the fact that the whiz happens hold then the hypophysectomy occurs. sent16: that the ridiculing Origen happens is true if the fact that the Orion but not the bash happens is not true. sent17: the sidelining kentan and the confining allergen occurs if the supposing does not occur. sent18: that the unexpendableness does not occur and the purporting does not occur is false if that the contemning Exocet does not occur hold. sent19: if that not the bash but the hypophysectomy happens does not hold then the hypophysectomy does not occur. sent20: the wholesomeness happens. sent21: the supposing does not occur.
void -> assump1: Let's assume that the pilosebaceousness happens.; sent14 & assump1 -> int1: that the wholesomeness but not the satisfaction occurs does not hold.; sent20 & sent13 -> int2: the wholesomeness but not the satisfaction happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pilosebaceousness does not occur.; int4 & sent6 -> int5: that either the confining pasang or the non-triumphalness or both happens does not hold.; int5 & sent3 -> int6: the whiz happens.; int6 & sent15 -> int7: the hypophysectomy happens.; sent17 & sent21 -> int8: the sidelining kentan and the confining allergen happens.; int8 -> int9: the confining allergen happens.; sent1 & int9 -> int10: that the Orion but not the bash happens is not correct.; sent16 & int10 -> int11: the ridiculing Origen happens.; int7 & int11 -> int12: both the hypophysectomy and the ridiculing Origen occurs.; int12 & sent9 -> hypothesis;
the amino occurs.
$hypothesis$ = the amino does not occur. ; $context$ = sent1: if the confining allergen occurs then the fact that the Orion happens but the bash does not occur is not right. sent2: if that the unexpendableness does not occur and the purporting does not occur is wrong then the supposing happens. sent3: the fact that the whiz occurs is not false if that the confining pasang or the non-triumphalness or both occurs is not correct. sent4: the contemning Exocet does not occur if the fact that the uncovering does not occur is not wrong. sent5: the contemning Phalaropidae happens if the baccateness does not occur. sent6: that either the confining pasang or the non-triumphalness or both occurs is wrong if the pilosebaceousness does not occur. sent7: the necromanticness but not the bonfire happens. sent8: that the sidelining kentan does not occur and the confining allergen does not occur is triggered by the supposing. sent9: the non-aminoness is brought about by that the hypophysectomy and the ridiculing Origen occurs. sent10: that the confining allergen does not occur yields that not the ridiculing Origen but the Orion occurs. sent11: that both the ambassadorship and the confining grapevine happens is wrong. sent12: if the triumphalness does not occur then both the amino and the pilosebaceousness happens. sent13: the satisfaction does not occur. sent14: that that the wholesomeness happens and the satisfaction does not occur is not correct is true if the pilosebaceousness happens. sent15: if the fact that the whiz happens hold then the hypophysectomy occurs. sent16: that the ridiculing Origen happens is true if the fact that the Orion but not the bash happens is not true. sent17: the sidelining kentan and the confining allergen occurs if the supposing does not occur. sent18: that the unexpendableness does not occur and the purporting does not occur is false if that the contemning Exocet does not occur hold. sent19: if that not the bash but the hypophysectomy happens does not hold then the hypophysectomy does not occur. sent20: the wholesomeness happens. sent21: the supposing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pilosebaceousness happens.; sent14 & assump1 -> int1: that the wholesomeness but not the satisfaction occurs does not hold.; sent20 & sent13 -> int2: the wholesomeness but not the satisfaction happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pilosebaceousness does not occur.; int4 & sent6 -> int5: that either the confining pasang or the non-triumphalness or both happens does not hold.; int5 & sent3 -> int6: the whiz happens.; int6 & sent15 -> int7: the hypophysectomy happens.; sent17 & sent21 -> int8: the sidelining kentan and the confining allergen happens.; int8 -> int9: the confining allergen happens.; sent1 & int9 -> int10: that the Orion but not the bash happens is not correct.; sent16 & int10 -> int11: the ridiculing Origen happens.; int7 & int11 -> int12: both the hypophysectomy and the ridiculing Origen occurs.; int12 & sent9 -> hypothesis; __PROVED__