there exists something such that the fact that it is not a kind of a Elizabethan hold.
sent1: that that that the access is a patter and on-the-job hold is incorrect hold. sent2: the access is both a stem and not aculeate. sent3: the fact that something disobliges consanguinity and does not variegate cooper does not hold if that it is not unawares is not incorrect. sent4: if something is not a Gore then that it does stem and it is not aculeate does not hold. sent5: if that the access is noncurrent is not false that it is a patter and it is not on-the-job is wrong. sent6: if that the access is a Gore is correct it is noncurrent.
sent4 -> int1: if the access is not a kind of a Gore then the fact that it is a kind of a stem and it is not aculeate is not true.; void -> assump1: Let's assume that the access is not a kind of a Gore.; int1 & assump1 -> int2: that the access is a stem and is not aculeate is not true.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the access is a kind of a Gore.; int4 & sent6 -> int5: the access is noncurrent.; int5 & sent5 -> int6: the fact that the access is a patter but it is not on-the-job is not correct.; int6 -> int7: there exists something such that the fact that it is a kind of a patter that is not on-the-job does not hold.;
the fact that the cooper does disoblige consanguinity and does not variegate cooper does not hold if it is not unawares.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that the fact that it is not a kind of a Elizabethan hold. ; $context$ = sent1: that that that the access is a patter and on-the-job hold is incorrect hold. sent2: the access is both a stem and not aculeate. sent3: the fact that something disobliges consanguinity and does not variegate cooper does not hold if that it is not unawares is not incorrect. sent4: if something is not a Gore then that it does stem and it is not aculeate does not hold. sent5: if that the access is noncurrent is not false that it is a patter and it is not on-the-job is wrong. sent6: if that the access is a Gore is correct it is noncurrent. ; $proof$ = 
sent4 -> int1: if the access is not a kind of a Gore then the fact that it is a kind of a stem and it is not aculeate is not true.; void -> assump1: Let's assume that the access is not a kind of a Gore.; int1 & assump1 -> int2: that the access is a stem and is not aculeate is not true.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the access is a kind of a Gore.; int4 & sent6 -> int5: the access is noncurrent.; int5 & sent5 -> int6: the fact that the access is a patter but it is not on-the-job is not correct.; int6 -> int7: there exists something such that the fact that it is a kind of a patter that is not on-the-job does not hold.; __UNKNOWN__