the neuropsychiatricness does not occur if the anemophilousness does not occur.
sent1: if the canvassing occurs the crossing does not occur. sent2: the face-off occurs if that the neuropsychiatricness occurs and the canvassing does not occur is wrong. sent3: if the anemophilousness happens the neuropsychiatricness does not occur. sent4: if that the neotenicness does not occur is right then the chokehold does not occur. sent5: if the chokehold does not occur the fact that the neuropsychiatricness happens and the canvassing does not occur does not hold. sent6: if the canvassing happens then the cross does not occur but the anemophilousness happens. sent7: the pharmacologicalness happens if the wearing does not occur. sent8: that the canvassing does not occur prevents the neuropsychiatricness.
void -> assump2: Let's assume that the fact that the canvassing occurs hold.; sent6 & assump2 -> int1: not the crossing but the anemophilousness happens.; int1 -> int2: the anemophilousness occurs.; void -> assump1: Let's assume that the fact that the anemophilousness occurs is not correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the canvassing does not occur.; sent8 & int4 -> int5: the fact that the neuropsychiatricness does not occur is correct.; [assump1] & int5 -> hypothesis;
the fact that the face-off happens is true.
$hypothesis$ = the neuropsychiatricness does not occur if the anemophilousness does not occur. ; $context$ = sent1: if the canvassing occurs the crossing does not occur. sent2: the face-off occurs if that the neuropsychiatricness occurs and the canvassing does not occur is wrong. sent3: if the anemophilousness happens the neuropsychiatricness does not occur. sent4: if that the neotenicness does not occur is right then the chokehold does not occur. sent5: if the chokehold does not occur the fact that the neuropsychiatricness happens and the canvassing does not occur does not hold. sent6: if the canvassing happens then the cross does not occur but the anemophilousness happens. sent7: the pharmacologicalness happens if the wearing does not occur. sent8: that the canvassing does not occur prevents the neuropsychiatricness. ; $proof$ = 
void -> assump2: Let's assume that the fact that the canvassing occurs hold.; sent6 & assump2 -> int1: not the crossing but the anemophilousness happens.; int1 -> int2: the anemophilousness occurs.; void -> assump1: Let's assume that the fact that the anemophilousness occurs is not correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the canvassing does not occur.; sent8 & int4 -> int5: the fact that the neuropsychiatricness does not occur is correct.; [assump1] & int5 -> hypothesis; __PROVED__