if the indexing Peromyscus happens then that both the non-geophyticness and the non-neocorticalness occurs does not hold.
sent1: that not the geophyticness but the neocorticalness occurs is false if the indexing Peromyscus happens. sent2: the indexing Peromyscus does not occur if the rh-negativeness happens and/or the tossup occurs. sent3: the photographing does not occur if the blackness happens. sent4: if both the non-geophyticness and the non-neocorticalness happens the tossup occurs. sent5: the obedientness is triggered by that not the culturing albino but the cleistogamousness happens. sent6: either the indexing cooperation happens or the wafting happens or both. sent7: that the osteotomy does not occur is triggered by that the smokescreen occurs and/or that the indexing Larus happens. sent8: if the indexing Peromyscus occurs the geophyticness does not occur and the neocorticalness does not occur. sent9: the actinometricness does not occur.
void -> assump2: Let's assume that the indexing Peromyscus occurs.; void -> assump1: Let's assume that both the non-geophyticness and the non-neocorticalness happens.; sent4 & assump1 -> int1: the tossup occurs.; int1 -> int2: the rh-negativeness occurs and/or the tossup happens.; sent2 & int2 -> int3: the indexing Peromyscus does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the geophyticness does not occur and the neocorticalness does not occur does not hold.; [assump2] & int5 -> hypothesis;
$hypothesis$ = if the indexing Peromyscus happens then that both the non-geophyticness and the non-neocorticalness occurs does not hold. ; $context$ = sent1: that not the geophyticness but the neocorticalness occurs is false if the indexing Peromyscus happens. sent2: the indexing Peromyscus does not occur if the rh-negativeness happens and/or the tossup occurs. sent3: the photographing does not occur if the blackness happens. sent4: if both the non-geophyticness and the non-neocorticalness happens the tossup occurs. sent5: the obedientness is triggered by that not the culturing albino but the cleistogamousness happens. sent6: either the indexing cooperation happens or the wafting happens or both. sent7: that the osteotomy does not occur is triggered by that the smokescreen occurs and/or that the indexing Larus happens. sent8: if the indexing Peromyscus occurs the geophyticness does not occur and the neocorticalness does not occur. sent9: the actinometricness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the indexing Peromyscus occurs.; void -> assump1: Let's assume that both the non-geophyticness and the non-neocorticalness happens.; sent4 & assump1 -> int1: the tossup occurs.; int1 -> int2: the rh-negativeness occurs and/or the tossup happens.; sent2 & int2 -> int3: the indexing Peromyscus does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the geophyticness does not occur and the neocorticalness does not occur does not hold.; [assump2] & int5 -> hypothesis; __PROVED__