both the subcorticalness and the vulpineness occurs.
sent1: if the taekwondo occurs the tetragonalness does not occur. sent2: that the taekwondo does not occur and the calyculateness happens triggers that the tetragonalness does not occur. sent3: the tune happens. sent4: the taekwondo does not occur if the fact that the non-evangelicalness and the non-incompetentness happens is not true. sent5: if that the tune does not occur but the subcorticalness occurs is not true then the overthrowing does not occur. sent6: if the tetragonalness does not occur the overthrowing does not occur but the tune occurs. sent7: the overthrowing does not occur and the tune does not occur if the posing occurs. sent8: the subcorticalness happens. sent9: the calyculateness happens and the detailing yardman happens if the masquerade does not occur. sent10: if the tetragonalness does not occur the fact that the tuning does not occur but the subcorticalness occurs is not right. sent11: that both the taekwondo and the calyculateness happens is triggered by the competentness. sent12: if the detailing yardman does not occur then the evangelicalness does not occur and the incompetent does not occur. sent13: the overthrowing does not occur. sent14: the non-vulpineness causes that the detailing Yersin and the pose occurs. sent15: the fact that the non-evangelicalness and the competentness happens is not correct.
void -> assump1: Let's assume that that the vulpineness does not occur is not false.; sent14 & assump1 -> int1: both the detailing Yersin and the pose happens.; int1 -> int2: that the pose happens is right.; int2 & sent7 -> int3: the overthrow does not occur and the tuning does not occur.; int3 -> int4: that the tuning does not occur hold.; int4 & sent3 -> int5: this is contradiction.; [assump1] & int5 -> int6: the vulpineness occurs.; int6 & sent8 -> hypothesis;
that the subcorticalness and the vulpineness occurs is false.
$hypothesis$ = both the subcorticalness and the vulpineness occurs. ; $context$ = sent1: if the taekwondo occurs the tetragonalness does not occur. sent2: that the taekwondo does not occur and the calyculateness happens triggers that the tetragonalness does not occur. sent3: the tune happens. sent4: the taekwondo does not occur if the fact that the non-evangelicalness and the non-incompetentness happens is not true. sent5: if that the tune does not occur but the subcorticalness occurs is not true then the overthrowing does not occur. sent6: if the tetragonalness does not occur the overthrowing does not occur but the tune occurs. sent7: the overthrowing does not occur and the tune does not occur if the posing occurs. sent8: the subcorticalness happens. sent9: the calyculateness happens and the detailing yardman happens if the masquerade does not occur. sent10: if the tetragonalness does not occur the fact that the tuning does not occur but the subcorticalness occurs is not right. sent11: that both the taekwondo and the calyculateness happens is triggered by the competentness. sent12: if the detailing yardman does not occur then the evangelicalness does not occur and the incompetent does not occur. sent13: the overthrowing does not occur. sent14: the non-vulpineness causes that the detailing Yersin and the pose occurs. sent15: the fact that the non-evangelicalness and the competentness happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that that the vulpineness does not occur is not false.; sent14 & assump1 -> int1: both the detailing Yersin and the pose happens.; int1 -> int2: that the pose happens is right.; int2 & sent7 -> int3: the overthrow does not occur and the tuning does not occur.; int3 -> int4: that the tuning does not occur hold.; int4 & sent3 -> int5: this is contradiction.; [assump1] & int5 -> int6: the vulpineness occurs.; int6 & sent8 -> hypothesis; __PROVED__