the preserving Nasser occurs.
sent1: the fact that the preserving Nasser and the firelight occurs is wrong if the preserving rhinoscope does not occur. sent2: the tour occurs. sent3: that the touring but not the preserving rhinoscope happens if the brecciating does not occur is not false. sent4: the fact that the preserving rhinoscope occurs is correct. sent5: the exponentialness does not occur. sent6: the thinkableness does not occur. sent7: that the firelight and the preserving rhinoscope happens prevents that the touring occurs.
void -> assump1: Let's assume that the firelight happens.; assump1 & sent4 -> int1: the firelight occurs and the preserving rhinoscope happens.; int1 & sent7 -> int2: the touring does not occur.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the firelight does not occur.;
the preserving Nasser does not occur.
$hypothesis$ = the preserving Nasser occurs. ; $context$ = sent1: the fact that the preserving Nasser and the firelight occurs is wrong if the preserving rhinoscope does not occur. sent2: the tour occurs. sent3: that the touring but not the preserving rhinoscope happens if the brecciating does not occur is not false. sent4: the fact that the preserving rhinoscope occurs is correct. sent5: the exponentialness does not occur. sent6: the thinkableness does not occur. sent7: that the firelight and the preserving rhinoscope happens prevents that the touring occurs. ; $proof$ = 
void -> assump1: Let's assume that the firelight happens.; assump1 & sent4 -> int1: the firelight occurs and the preserving rhinoscope happens.; int1 & sent7 -> int2: the touring does not occur.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the firelight does not occur.; __UNKNOWN__