the loss is not a memoir.
sent1: the Nut is not a surcharge and it is not heterosexual. sent2: if something does cloy rebuttal it is busy and does not approbate vertebrate. sent3: the loss is not busy if the electroscope is busy. sent4: that something is unerect is not wrong if the fact that it busies and it does not approbate vertebrate hold. sent5: the fact that the vertebrate is not a memoir and does depose spatiality is not right if there exists something such that it is unerect. sent6: if the vertebrate is a memoir then it is unerect. sent7: something that is unerect deposes spatiality. sent8: the loss is not a memoir if the electroscope does not approbate vertebrate. sent9: the cheekpiece does not busy and it does not depose spatiality if the vertebrate does depose spatiality. sent10: the vertebrate is not a kind of a surcharge and is not unintelligent if it is not unerect. sent11: the cheekpiece blanches and/or it is not Albanian if the electroscope is not a cactus. sent12: the cheekpiece does cloy rebuttal if it blanches and/or it is not a Albanian. sent13: that the electroscope does not approbate vertebrate if the cheekpiece is non-busy thing that does not depose spatiality is correct.
void -> assump1: Let's assume that the vertebrate is not unerect.; sent10 & assump1 -> int1: the vertebrate is not a surcharge and it is not unintelligent.; sent7 -> int2: the vertebrate does depose spatiality if it is unerect.;
the loss is a kind of a memoir.
sent4 -> int3: if the cheekpiece does busy and does not approbate vertebrate then it is unerect.; sent2 -> int4: the cheekpiece is busy but it does not approbate vertebrate if it does cloy rebuttal.;
$hypothesis$ = the loss is not a memoir. ; $context$ = sent1: the Nut is not a surcharge and it is not heterosexual. sent2: if something does cloy rebuttal it is busy and does not approbate vertebrate. sent3: the loss is not busy if the electroscope is busy. sent4: that something is unerect is not wrong if the fact that it busies and it does not approbate vertebrate hold. sent5: the fact that the vertebrate is not a memoir and does depose spatiality is not right if there exists something such that it is unerect. sent6: if the vertebrate is a memoir then it is unerect. sent7: something that is unerect deposes spatiality. sent8: the loss is not a memoir if the electroscope does not approbate vertebrate. sent9: the cheekpiece does not busy and it does not depose spatiality if the vertebrate does depose spatiality. sent10: the vertebrate is not a kind of a surcharge and is not unintelligent if it is not unerect. sent11: the cheekpiece blanches and/or it is not Albanian if the electroscope is not a cactus. sent12: the cheekpiece does cloy rebuttal if it blanches and/or it is not a Albanian. sent13: that the electroscope does not approbate vertebrate if the cheekpiece is non-busy thing that does not depose spatiality is correct. ; $proof$ = 
void -> assump1: Let's assume that the vertebrate is not unerect.; sent10 & assump1 -> int1: the vertebrate is not a surcharge and it is not unintelligent.; sent7 -> int2: the vertebrate does depose spatiality if it is unerect.; __UNKNOWN__