the schlep occurs and the evangelicalness does not occur.
sent1: if the stacking occurs then the demolition happens. sent2: the schlep happens. sent3: the fact that the functioning Raphanus does not occur and/or the dissidence occurs is not correct. sent4: the schlep and the non-evangelicalness happens if the seductiveness does not occur. sent5: the schlep occurs if the seductiveness does not occur. sent6: if the pearling happens then that the Tantricness does not occur and/or the connotativeness happens is incorrect. sent7: the connotativeness does not occur. sent8: if the fact that the elucidation happens hold the stack happens. sent9: the pearling happens. sent10: if that the non-Tantricness and/or the connotativeness occurs is false the demolition does not occur. sent11: if the seductiveness occurs then the elucidation occurs. sent12: the pearling yields that the connotativeness does not occur.
void -> assump1: Let's assume that the seductiveness occurs.; sent11 & assump1 -> int1: the elucidation occurs.; int1 & sent8 -> int2: the stacking occurs.; int2 & sent1 -> int3: the demolition occurs.; sent6 & sent9 -> int4: the fact that either the non-Tantricness or the connotativeness or both happens does not hold.; sent10 & int4 -> int5: the demolition does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the seductiveness does not occur.; int7 & sent4 -> hypothesis;
the fact that the functioning Raphanus does not occur and/or the dissidence occurs is not correct.
 -> hypothesis;
$hypothesis$ = the schlep occurs and the evangelicalness does not occur. ; $context$ = sent1: if the stacking occurs then the demolition happens. sent2: the schlep happens. sent3: the fact that the functioning Raphanus does not occur and/or the dissidence occurs is not correct. sent4: the schlep and the non-evangelicalness happens if the seductiveness does not occur. sent5: the schlep occurs if the seductiveness does not occur. sent6: if the pearling happens then that the Tantricness does not occur and/or the connotativeness happens is incorrect. sent7: the connotativeness does not occur. sent8: if the fact that the elucidation happens hold the stack happens. sent9: the pearling happens. sent10: if that the non-Tantricness and/or the connotativeness occurs is false the demolition does not occur. sent11: if the seductiveness occurs then the elucidation occurs. sent12: the pearling yields that the connotativeness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the seductiveness occurs.; sent11 & assump1 -> int1: the elucidation occurs.; int1 & sent8 -> int2: the stacking occurs.; int2 & sent1 -> int3: the demolition occurs.; sent6 & sent9 -> int4: the fact that either the non-Tantricness or the connotativeness or both happens does not hold.; sent10 & int4 -> int5: the demolition does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the seductiveness does not occur.; int7 & sent4 -> hypothesis; __PROVED__