the relation does not occur.
sent1: if the misapplication does not occur and the snub does not occur the relation does not occur. sent2: not the acquainting telephotography but the acquainting Ambystomatidae occurs. sent3: that the allographicness happens and the decentralization happens is caused by that the acquainting telephotography does not occur. sent4: the decentralization happens. sent5: the fact that not the misapplication but the snub happens is wrong. sent6: the consequence does not occur. sent7: if that the misapplication does not occur and the snub does not occur is false the flitting happens. sent8: that the non-photometricness and the non-Marxistness happens does not hold if the playfulness occurs. sent9: that the relation occurs is prevented by that the misapplication but not the snub happens. sent10: the fact that if the playfulness happens then the allographicness does not occur is not false. sent11: the allographicness does not occur if the fact that that the truncation occurs but the playfulness does not occur is correct is not correct. sent12: that the truncation and the playfulness happens does not hold. sent13: the acquainting Ambystomatidae occurs. sent14: if the misapplication does not occur but the snub occurs then that the relation does not occur hold. sent15: if the acquainting telephotography does not occur then the decentralization occurs. sent16: the counterrevolutionariness does not occur. sent17: the fact that both the truncation and the non-playfulness occurs is not right if the flit occurs.
void -> assump1: Let's assume that that the misapplication does not occur and the snub does not occur is not right.; sent7 & assump1 -> int1: that the flit does not occur does not hold.; int1 & sent17 -> int2: that the truncation and the non-playfulness happens is wrong.; int2 & sent11 -> int3: the allographicness does not occur.; sent2 -> int4: the acquainting telephotography does not occur.; sent3 & int4 -> int5: the allographicness happens and the decentralization happens.; int5 -> int6: the fact that the allographicness happens is not false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the misapplication does not occur and the snub does not occur.; int8 & sent1 -> hypothesis;
the fact that the photometricness does not occur and the Marxist does not occur does not hold.
$hypothesis$ = the relation does not occur. ; $context$ = sent1: if the misapplication does not occur and the snub does not occur the relation does not occur. sent2: not the acquainting telephotography but the acquainting Ambystomatidae occurs. sent3: that the allographicness happens and the decentralization happens is caused by that the acquainting telephotography does not occur. sent4: the decentralization happens. sent5: the fact that not the misapplication but the snub happens is wrong. sent6: the consequence does not occur. sent7: if that the misapplication does not occur and the snub does not occur is false the flitting happens. sent8: that the non-photometricness and the non-Marxistness happens does not hold if the playfulness occurs. sent9: that the relation occurs is prevented by that the misapplication but not the snub happens. sent10: the fact that if the playfulness happens then the allographicness does not occur is not false. sent11: the allographicness does not occur if the fact that that the truncation occurs but the playfulness does not occur is correct is not correct. sent12: that the truncation and the playfulness happens does not hold. sent13: the acquainting Ambystomatidae occurs. sent14: if the misapplication does not occur but the snub occurs then that the relation does not occur hold. sent15: if the acquainting telephotography does not occur then the decentralization occurs. sent16: the counterrevolutionariness does not occur. sent17: the fact that both the truncation and the non-playfulness occurs is not right if the flit occurs. ; $proof$ = 
void -> assump1: Let's assume that that the misapplication does not occur and the snub does not occur is not right.; sent7 & assump1 -> int1: that the flit does not occur does not hold.; int1 & sent17 -> int2: that the truncation and the non-playfulness happens is wrong.; int2 & sent11 -> int3: the allographicness does not occur.; sent2 -> int4: the acquainting telephotography does not occur.; sent3 & int4 -> int5: the allographicness happens and the decentralization happens.; int5 -> int6: the fact that the allographicness happens is not false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the misapplication does not occur and the snub does not occur.; int8 & sent1 -> hypothesis; __PROVED__