the leverage is a spirochete and is a pinscher.
sent1: the leverage is a spirochete if the nankeen is a kind of a juvenile. sent2: the phlogopite is not juvenile if the leverage is not an atmosphere. sent3: something that is either an atmosphere or tibial or both is not interdepartmental. sent4: something is not an atmosphere if the fact that it is not a kind of a spirochete and/or it is not interdepartmental is wrong. sent5: the leverage is a kind of a pinscher. sent6: the nankeen is interdepartmental.
void -> assump1: Let's assume that that the nankeen is juvenile is wrong.; sent3 -> int1: if either the nankeen is an atmosphere or it is tibial or both it is not interdepartmental.;
the phlogopite is a kind of a pinscher.
sent4 -> int2: that the leverage is not a kind of an atmosphere is not incorrect if that the fact that it is not a spirochete and/or it is non-interdepartmental is correct is wrong.;
$hypothesis$ = the leverage is a spirochete and is a pinscher. ; $context$ = sent1: the leverage is a spirochete if the nankeen is a kind of a juvenile. sent2: the phlogopite is not juvenile if the leverage is not an atmosphere. sent3: something that is either an atmosphere or tibial or both is not interdepartmental. sent4: something is not an atmosphere if the fact that it is not a kind of a spirochete and/or it is not interdepartmental is wrong. sent5: the leverage is a kind of a pinscher. sent6: the nankeen is interdepartmental. ; $proof$ = 
void -> assump1: Let's assume that that the nankeen is juvenile is wrong.; sent3 -> int1: if either the nankeen is an atmosphere or it is tibial or both it is not interdepartmental.; __UNKNOWN__