the lift is a parenthetical.
sent1: if the lift is not Calcuttan then it is a parenthetical. sent2: the patrial is not a pyromorphite if the jackrabbit is not virile and it is not biosystematics. sent3: if the jackrabbit is not a pyromorphite and is non-Leonardesque then the patrial is not virile. sent4: if that the jackrabbit is not virile and is not biosystematics is false then the fact that it is not Leonardesque hold. sent5: if the lift is not a Copley it is not Calcuttan. sent6: if the jackrabbit does not sequence Baisakh then it is not virile. sent7: the patrial is a kind of a pyromorphite. sent8: if the jackrabbit is not Leonardesque the shielding does not sequence Baisakh and it is not accusative.
void -> assump1: Let's assume that the jackrabbit is not virile and it is not biosystematics.; sent2 & assump1 -> int1: the patrial is not a pyromorphite.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the jackrabbit is not virile and it is non-biosystematics does not hold.; int3 & sent4 -> int4: the jackrabbit is not Leonardesque.; int4 & sent8 -> int5: the shielding does not sequence Baisakh and it is not accusative.; int5 -> int6: there exists something such that it does not sequence Baisakh and it is not an accusative.;
the patrial is not virile.
$hypothesis$ = the lift is a parenthetical. ; $context$ = sent1: if the lift is not Calcuttan then it is a parenthetical. sent2: the patrial is not a pyromorphite if the jackrabbit is not virile and it is not biosystematics. sent3: if the jackrabbit is not a pyromorphite and is non-Leonardesque then the patrial is not virile. sent4: if that the jackrabbit is not virile and is not biosystematics is false then the fact that it is not Leonardesque hold. sent5: if the lift is not a Copley it is not Calcuttan. sent6: if the jackrabbit does not sequence Baisakh then it is not virile. sent7: the patrial is a kind of a pyromorphite. sent8: if the jackrabbit is not Leonardesque the shielding does not sequence Baisakh and it is not accusative. ; $proof$ = 
void -> assump1: Let's assume that the jackrabbit is not virile and it is not biosystematics.; sent2 & assump1 -> int1: the patrial is not a pyromorphite.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the jackrabbit is not virile and it is non-biosystematics does not hold.; int3 & sent4 -> int4: the jackrabbit is not Leonardesque.; int4 & sent8 -> int5: the shielding does not sequence Baisakh and it is not accusative.; int5 -> int6: there exists something such that it does not sequence Baisakh and it is not an accusative.; __UNKNOWN__