the hurting happens if the brahminicness happens.
sent1: if the fact that the liquefying trespass and the mushing spoon happens is incorrect then the ravening polyethylene does not occur. sent2: if the nonfeasance occurs the autogenousness occurs. sent3: the ravening Conium occurs. sent4: if the abomination does not occur the brahminicness does not occur. sent5: if the patellarness does not occur the fact that the crow occurs and the malignantness happens is false. sent6: if that the aurifying Heller and the abomination occurs is not true the brahminicness occurs. sent7: the brahminicness does not occur if that the aurifying Heller occurs and the abomination happens is not true.
void -> assump2: Let's assume that the brahminicness happens.;
$hypothesis$ = the hurting happens if the brahminicness happens. ; $context$ = sent1: if the fact that the liquefying trespass and the mushing spoon happens is incorrect then the ravening polyethylene does not occur. sent2: if the nonfeasance occurs the autogenousness occurs. sent3: the ravening Conium occurs. sent4: if the abomination does not occur the brahminicness does not occur. sent5: if the patellarness does not occur the fact that the crow occurs and the malignantness happens is false. sent6: if that the aurifying Heller and the abomination occurs is not true the brahminicness occurs. sent7: the brahminicness does not occur if that the aurifying Heller occurs and the abomination happens is not true. ; $proof$ = 
void -> assump2: Let's assume that the brahminicness happens.; __UNKNOWN__