there exists something such that that either it is doctrinal or it is inspiratory or both does not hold.
sent1: if something is not Soviet then it is a tan. sent2: the fact that the safe-deposit is not unifilar and it is not a fedelline is wrong if that the hoosegow is a fedelline does not hold. sent3: if the wrack surmises supertonic then the hoosegow is not a kind of a fedelline. sent4: the fact that something is doctrinal and/or inspiratory is false if it does not surmise supertonic. sent5: something is binoculars if it does tan. sent6: if that something is both not unifilar and not a fedelline is wrong it is not Soviet.
void -> assump1: Let's assume that the wrack does surmise supertonic.; sent3 & assump1 -> int1: the hoosegow is not a fedelline.; int1 & sent2 -> int2: the fact that the safe-deposit is not unifilar and it is not a fedelline does not hold.; sent6 -> int3: if the fact that the safe-deposit is non-unifilar thing that is not a kind of a fedelline is not right it is not Soviet.; int2 & int3 -> int4: the safe-deposit is not Soviet.; sent1 -> int5: if the safe-deposit is not Soviet then it is a tan.; int4 & int5 -> int6: the safe-deposit is a kind of a tan.; sent5 -> int7: the safe-deposit is binoculars if it does tan.; int6 & int7 -> int8: the safe-deposit is binoculars.; sent4 -> int9: if the wrack does not surmise supertonic then that it is doctrinal and/or it is inspiratory does not hold.;
$hypothesis$ = there exists something such that that either it is doctrinal or it is inspiratory or both does not hold. ; $context$ = sent1: if something is not Soviet then it is a tan. sent2: the fact that the safe-deposit is not unifilar and it is not a fedelline is wrong if that the hoosegow is a fedelline does not hold. sent3: if the wrack surmises supertonic then the hoosegow is not a kind of a fedelline. sent4: the fact that something is doctrinal and/or inspiratory is false if it does not surmise supertonic. sent5: something is binoculars if it does tan. sent6: if that something is both not unifilar and not a fedelline is wrong it is not Soviet. ; $proof$ = 
void -> assump1: Let's assume that the wrack does surmise supertonic.; sent3 & assump1 -> int1: the hoosegow is not a fedelline.; int1 & sent2 -> int2: the fact that the safe-deposit is not unifilar and it is not a fedelline does not hold.; sent6 -> int3: if the fact that the safe-deposit is non-unifilar thing that is not a kind of a fedelline is not right it is not Soviet.; int2 & int3 -> int4: the safe-deposit is not Soviet.; sent1 -> int5: if the safe-deposit is not Soviet then it is a tan.; int4 & int5 -> int6: the safe-deposit is a kind of a tan.; sent5 -> int7: the safe-deposit is binoculars if it does tan.; int6 & int7 -> int8: the safe-deposit is binoculars.; sent4 -> int9: if the wrack does not surmise supertonic then that it is doctrinal and/or it is inspiratory does not hold.; __UNKNOWN__