the mitoticness occurs.
sent1: if the strapping echovirus does not occur the thenalness does not occur and/or the prepositionalness occurs. sent2: the chancing omnipotence occurs. sent3: the strapping aphrodisia occurs. sent4: that the categoricalness happens is not false. sent5: the peregrination does not occur. sent6: that the chancing astrophysicist does not occur is caused by that the mildness happens and the cohabiting happens. sent7: both the harmonicness and the decalescence happens. sent8: that the strapping echovirus does not occur is not wrong if the congruousness does not occur. sent9: if the thenalness does not occur or the prepositionalness occurs or both the mitoticness happens. sent10: that the categoricalness occurs results in that the cartooning does not occur and the chancing Anethum does not occur. sent11: the vascularness does not occur if the strapping aphrodisia occurs and the congruousness happens. sent12: the non-ethicalness prevents the amminoness. sent13: the vascularness occurs if the cartoon does not occur and the chancing Anethum does not occur. sent14: the unknowableness occurs and the fabricating hindsight occurs.
void -> assump1: Let's assume that the congruousness happens.; sent3 & assump1 -> int1: the fact that the strapping aphrodisia and the congruousness occurs is correct.; int1 & sent11 -> int2: the vascularness does not occur.; sent10 & sent4 -> int3: the cartooning does not occur and the chancing Anethum does not occur.; sent13 & int3 -> int4: the vascularness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the congruousness does not occur.; int6 & sent8 -> int7: the strapping echovirus does not occur.; int7 & sent1 -> int8: either the non-thenalness or the prepositionalness or both happens.; int8 & sent9 -> hypothesis;
$hypothesis$ = the mitoticness occurs. ; $context$ = sent1: if the strapping echovirus does not occur the thenalness does not occur and/or the prepositionalness occurs. sent2: the chancing omnipotence occurs. sent3: the strapping aphrodisia occurs. sent4: that the categoricalness happens is not false. sent5: the peregrination does not occur. sent6: that the chancing astrophysicist does not occur is caused by that the mildness happens and the cohabiting happens. sent7: both the harmonicness and the decalescence happens. sent8: that the strapping echovirus does not occur is not wrong if the congruousness does not occur. sent9: if the thenalness does not occur or the prepositionalness occurs or both the mitoticness happens. sent10: that the categoricalness occurs results in that the cartooning does not occur and the chancing Anethum does not occur. sent11: the vascularness does not occur if the strapping aphrodisia occurs and the congruousness happens. sent12: the non-ethicalness prevents the amminoness. sent13: the vascularness occurs if the cartoon does not occur and the chancing Anethum does not occur. sent14: the unknowableness occurs and the fabricating hindsight occurs. ; $proof$ = 
void -> assump1: Let's assume that the congruousness happens.; sent3 & assump1 -> int1: the fact that the strapping aphrodisia and the congruousness occurs is correct.; int1 & sent11 -> int2: the vascularness does not occur.; sent10 & sent4 -> int3: the cartooning does not occur and the chancing Anethum does not occur.; sent13 & int3 -> int4: the vascularness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the congruousness does not occur.; int6 & sent8 -> int7: the strapping echovirus does not occur.; int7 & sent1 -> int8: either the non-thenalness or the prepositionalness or both happens.; int8 & sent9 -> hypothesis; __PROVED__