the vivisection occurs.
sent1: if the purifying guard occurs that the vivisection does not occur hold. sent2: the purifying Voltaren occurs if that the purifying guard does not occur is not incorrect. sent3: the cytoarchitecturalness occurs and the vaulting atelier happens. sent4: the vaulting atelier happens. sent5: if the fact that the immunotherapy but not the threat happens is false then the cytoarchitecturalness does not occur. sent6: the perianalness does not occur. sent7: the cytoarchitecturalness does not occur if the fact that the threat occurs is not false. sent8: that the cytoarchitecturalness but not the purifying Voltaren occurs does not hold if the scourging seigniorage does not occur. sent9: if the immunotherapy happens but the threat does not occur the purifying guard does not occur. sent10: that either the purifying Voltaren does not occur or the scourging seigniorage occurs or both is not right if the purifying guard does not occur. sent11: the monolingualness does not occur. sent12: that the vaulting loofah occurs is correct. sent13: if that the purifying Voltaren does not occur and/or the scourging seigniorage happens does not hold then the vivisection happens. sent14: the gnarling does not occur.
void -> assump1: Let's assume that that the immunotherapy happens but the threat does not occur does not hold.; sent5 & assump1 -> int1: the cytoarchitecturalness does not occur.; sent3 -> int2: the cytoarchitecturalness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the immunotherapy occurs but the threat does not occur.; int4 & sent9 -> int5: the fact that the purifying guard does not occur hold.; int5 & sent10 -> int6: that the purifying Voltaren does not occur and/or the scourging seigniorage happens is wrong.; int6 & sent13 -> hypothesis;
the vivisection does not occur.
$hypothesis$ = the vivisection occurs. ; $context$ = sent1: if the purifying guard occurs that the vivisection does not occur hold. sent2: the purifying Voltaren occurs if that the purifying guard does not occur is not incorrect. sent3: the cytoarchitecturalness occurs and the vaulting atelier happens. sent4: the vaulting atelier happens. sent5: if the fact that the immunotherapy but not the threat happens is false then the cytoarchitecturalness does not occur. sent6: the perianalness does not occur. sent7: the cytoarchitecturalness does not occur if the fact that the threat occurs is not false. sent8: that the cytoarchitecturalness but not the purifying Voltaren occurs does not hold if the scourging seigniorage does not occur. sent9: if the immunotherapy happens but the threat does not occur the purifying guard does not occur. sent10: that either the purifying Voltaren does not occur or the scourging seigniorage occurs or both is not right if the purifying guard does not occur. sent11: the monolingualness does not occur. sent12: that the vaulting loofah occurs is correct. sent13: if that the purifying Voltaren does not occur and/or the scourging seigniorage happens does not hold then the vivisection happens. sent14: the gnarling does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the immunotherapy happens but the threat does not occur does not hold.; sent5 & assump1 -> int1: the cytoarchitecturalness does not occur.; sent3 -> int2: the cytoarchitecturalness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the immunotherapy occurs but the threat does not occur.; int4 & sent9 -> int5: the fact that the purifying guard does not occur hold.; int5 & sent10 -> int6: that the purifying Voltaren does not occur and/or the scourging seigniorage happens is wrong.; int6 & sent13 -> hypothesis; __PROVED__