both the endemicness and the choice occurs.
sent1: that the objecting occurs is prevented by that both the inserting stob and the gymnasticness occurs. sent2: the mutation does not occur and the aecialness occurs. sent3: that the hyping complication does not occur is triggered by that the inserting stob does not occur. sent4: if the mutation does not occur then the object occurs but the incriminating does not occur. sent5: the hyping complication and the inserting stob happens. sent6: if the objecting occurs but the choice does not occur the Rosicrucianness happens. sent7: the assumption does not occur. sent8: the fact that the endemicness happens and the choice happens does not hold if that the hyping complication does not occur hold. sent9: if the mutation happens the incriminating occurs. sent10: the gymnasticness happens but the objecting does not occur if the incriminating occurs.
sent5 -> int1: the inserting stob happens.; void -> assump1: Let's assume that the gymnasticness happens.; int1 & assump1 -> int2: the inserting stob and the gymnasticness occurs.; int2 & sent1 -> int3: the object does not occur.; sent2 -> int4: the mutation does not occur.; sent4 & int4 -> int5: the object but not the incriminating occurs.; int5 -> int6: the objecting occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the gymnasticness does not occur.;
the fact that both the endemic and the choice occurs is not correct.
$hypothesis$ = both the endemicness and the choice occurs. ; $context$ = sent1: that the objecting occurs is prevented by that both the inserting stob and the gymnasticness occurs. sent2: the mutation does not occur and the aecialness occurs. sent3: that the hyping complication does not occur is triggered by that the inserting stob does not occur. sent4: if the mutation does not occur then the object occurs but the incriminating does not occur. sent5: the hyping complication and the inserting stob happens. sent6: if the objecting occurs but the choice does not occur the Rosicrucianness happens. sent7: the assumption does not occur. sent8: the fact that the endemicness happens and the choice happens does not hold if that the hyping complication does not occur hold. sent9: if the mutation happens the incriminating occurs. sent10: the gymnasticness happens but the objecting does not occur if the incriminating occurs. ; $proof$ = 
sent5 -> int1: the inserting stob happens.; void -> assump1: Let's assume that the gymnasticness happens.; int1 & assump1 -> int2: the inserting stob and the gymnasticness occurs.; int2 & sent1 -> int3: the object does not occur.; sent2 -> int4: the mutation does not occur.; sent4 & int4 -> int5: the object but not the incriminating occurs.; int5 -> int6: the objecting occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the gymnasticness does not occur.; __UNKNOWN__