the parapsychologist does not debrief Indigofera if the latanier does deepen.
sent1: if the fact that the latanier is not non-bolometric is correct then it does not deepen. sent2: the latanier is not bolometric. sent3: if that that either the parapsychologist is catachrestic or it debriefs Indigofera or both is right is not true the latanier is not bolometric. sent4: if the latanier deepens the parapsychologist does debrief Indigofera. sent5: the parapsychologist does debrief Indigofera if that the latanier is not catachrestic or it is bolometric or both is not correct. sent6: the parapsychologist is not bolometric. sent7: the latanier does not deepen if it is not catachrestic and/or it is bolometric. sent8: the parapsychologist does not debrief Indigofera if the fact that the latanier is not catachrestic or it is bolometric or both is incorrect.
void -> assump2: Let's assume that the fact that the latanier does deepen is true.; void -> assump1: Let's assume that the latanier is not catachrestic or bolometric or both.; sent7 & assump1 -> int1: the latanier does not deepen.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the latanier is not catachrestic and/or it is bolometric is not right.; sent8 & int3 -> int4: the fact that the parapsychologist does not debrief Indigofera is correct.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the parapsychologist does not debrief Indigofera if the latanier does deepen. ; $context$ = sent1: if the fact that the latanier is not non-bolometric is correct then it does not deepen. sent2: the latanier is not bolometric. sent3: if that that either the parapsychologist is catachrestic or it debriefs Indigofera or both is right is not true the latanier is not bolometric. sent4: if the latanier deepens the parapsychologist does debrief Indigofera. sent5: the parapsychologist does debrief Indigofera if that the latanier is not catachrestic or it is bolometric or both is not correct. sent6: the parapsychologist is not bolometric. sent7: the latanier does not deepen if it is not catachrestic and/or it is bolometric. sent8: the parapsychologist does not debrief Indigofera if the fact that the latanier is not catachrestic or it is bolometric or both is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the fact that the latanier does deepen is true.; void -> assump1: Let's assume that the latanier is not catachrestic or bolometric or both.; sent7 & assump1 -> int1: the latanier does not deepen.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the latanier is not catachrestic and/or it is bolometric is not right.; sent8 & int3 -> int4: the fact that the parapsychologist does not debrief Indigofera is correct.; [assump2] & int4 -> hypothesis; __PROVED__