the trouble does not occur.
sent1: the overstraining photosensitivity happens if the disabusing wake occurs and the sub-test does not occur. sent2: the disabusing colorist occurs. sent3: the fact that the chemoreceptiveness occurs but the litigating does not occur is incorrect. sent4: that both the overstraining photosensitivity and the mainness happens triggers that the trouble does not occur. sent5: if the sub-test occurs and the disabusing colorist happens the fact that the overstraining Dnipropetrovsk does not occur is not wrong. sent6: the overstraining Dnipropetrovsk occurs. sent7: the fact that the mainness occurs is correct. sent8: if that the chemoreceptiveness happens but the litigating does not occur is wrong the disabusing wake occurs.
void -> assump1: Let's assume that the sub-test occurs.; assump1 & sent2 -> int1: the sub-test occurs and the disabusing colorist occurs.; int1 & sent5 -> int2: the overstraining Dnipropetrovsk does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sub-test does not occur.; sent8 & sent3 -> int5: the disabusing wake happens.; int4 & int5 -> int6: the disabusing wake occurs but the sub-test does not occur.; int6 & sent1 -> int7: the overstraining photosensitivity occurs.; int7 & sent7 -> int8: the overstraining photosensitivity and the main happens.; int8 & sent4 -> hypothesis;
$hypothesis$ = the trouble does not occur. ; $context$ = sent1: the overstraining photosensitivity happens if the disabusing wake occurs and the sub-test does not occur. sent2: the disabusing colorist occurs. sent3: the fact that the chemoreceptiveness occurs but the litigating does not occur is incorrect. sent4: that both the overstraining photosensitivity and the mainness happens triggers that the trouble does not occur. sent5: if the sub-test occurs and the disabusing colorist happens the fact that the overstraining Dnipropetrovsk does not occur is not wrong. sent6: the overstraining Dnipropetrovsk occurs. sent7: the fact that the mainness occurs is correct. sent8: if that the chemoreceptiveness happens but the litigating does not occur is wrong the disabusing wake occurs. ; $proof$ = 
void -> assump1: Let's assume that the sub-test occurs.; assump1 & sent2 -> int1: the sub-test occurs and the disabusing colorist occurs.; int1 & sent5 -> int2: the overstraining Dnipropetrovsk does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sub-test does not occur.; sent8 & sent3 -> int5: the disabusing wake happens.; int4 & int5 -> int6: the disabusing wake occurs but the sub-test does not occur.; int6 & sent1 -> int7: the overstraining photosensitivity occurs.; int7 & sent7 -> int8: the overstraining photosensitivity and the main happens.; int8 & sent4 -> hypothesis; __PROVED__