there is something such that if it is non-acervate it does not reopen Pirandello.
sent1: if the fact that something is not tactful and it does not reopen Pirandello is not true it reopen Pirandello. sent2: the technophobe does not reopen Pirandello if it is acervate. sent3: there is something such that if it is not non-acervate then it does not reopen Pirandello. sent4: if something is acervate then that it is not tactful and does not reopen Pirandello is wrong. sent5: there is something such that if that that it is communicative is true does not hold then it is apocryphal. sent6: there is something such that if it does not concern bentonite it is not trackless. sent7: that there is something such that if that it is not acervate is true it reopens Pirandello is true.
void -> assump2: Let's assume that the technophobe does reopen Pirandello.;
the ecstasy does reopen Pirandello.
sent1 -> int1: if that the ecstasy is not tactful and it does not reopen Pirandello is not true it does reopen Pirandello.; sent4 -> int2: the fact that the ecstasy is not tactful and it does not reopen Pirandello is not correct if it is acervate.;
$hypothesis$ = there is something such that if it is non-acervate it does not reopen Pirandello. ; $context$ = sent1: if the fact that something is not tactful and it does not reopen Pirandello is not true it reopen Pirandello. sent2: the technophobe does not reopen Pirandello if it is acervate. sent3: there is something such that if it is not non-acervate then it does not reopen Pirandello. sent4: if something is acervate then that it is not tactful and does not reopen Pirandello is wrong. sent5: there is something such that if that that it is communicative is true does not hold then it is apocryphal. sent6: there is something such that if it does not concern bentonite it is not trackless. sent7: that there is something such that if that it is not acervate is true it reopens Pirandello is true. ; $proof$ = 
void -> assump2: Let's assume that the technophobe does reopen Pirandello.; __UNKNOWN__