the afterdeck is Markovian and it is patriotic.
sent1: if the afterdeck is not orthopedic then it is a death and it is not impolitic. sent2: something is Markovian if it is a kind of a FTP. sent3: something is patriotic thing that wires AA if it is not orthopedic. sent4: the afterdeck is patriotic and it is proper. sent5: if something is orthopedic then it is a FTP.
void -> assump1: Let's assume that the afterdeck is not orthopedic.; sent1 & assump1 -> int1: the afterdeck is a death but it is not impolitic.; sent5 -> int2: that if the afterdeck is orthopedic then the afterdeck is a kind of a FTP hold.; sent2 -> int3: if the afterdeck FTPS then it is Markovian.; sent4 -> int4: the afterdeck is patriotic.;
the skank is patriotic and it wires AA.
sent3 -> int5: if the skank is not orthopedic it is patriotic thing that wires AA.;
$hypothesis$ = the afterdeck is Markovian and it is patriotic. ; $context$ = sent1: if the afterdeck is not orthopedic then it is a death and it is not impolitic. sent2: something is Markovian if it is a kind of a FTP. sent3: something is patriotic thing that wires AA if it is not orthopedic. sent4: the afterdeck is patriotic and it is proper. sent5: if something is orthopedic then it is a FTP. ; $proof$ = 
void -> assump1: Let's assume that the afterdeck is not orthopedic.; sent1 & assump1 -> int1: the afterdeck is a death but it is not impolitic.; sent5 -> int2: that if the afterdeck is orthopedic then the afterdeck is a kind of a FTP hold.; sent2 -> int3: if the afterdeck FTPS then it is Markovian.; sent4 -> int4: the afterdeck is patriotic.; __UNKNOWN__