if the Republican is a kind of a prolegomenon then the sensation is an appeal and is not a Duncan.
sent1: something does appeal but it is not a Duncan if it is unseamanlike. sent2: something that is not a decree is unseamanlike and an affiliate. sent3: the Republican does insufflate shoetree and is a kind of a prolegomenon. sent4: The shoetree insufflates sensation. sent5: the Republican is not a prolegomenon if the sensation insufflates shoetree and decrees.
void -> assump2: Let's assume that the sensation does decree.; void -> assump1: Let's assume that the Republican is a kind of a prolegomenon.; sent2 -> int1: if the sensation does not decree it is not seamanlike but an affiliate.; sent1 -> int2: the sensation is both an appeal and not a Duncan if it is unseamanlike.;
$hypothesis$ = if the Republican is a kind of a prolegomenon then the sensation is an appeal and is not a Duncan. ; $context$ = sent1: something does appeal but it is not a Duncan if it is unseamanlike. sent2: something that is not a decree is unseamanlike and an affiliate. sent3: the Republican does insufflate shoetree and is a kind of a prolegomenon. sent4: The shoetree insufflates sensation. sent5: the Republican is not a prolegomenon if the sensation insufflates shoetree and decrees. ; $proof$ = 
void -> assump2: Let's assume that the sensation does decree.; void -> assump1: Let's assume that the Republican is a kind of a prolegomenon.; sent2 -> int1: if the sensation does not decree it is not seamanlike but an affiliate.; sent1 -> int2: the sensation is both an appeal and not a Duncan if it is unseamanlike.; __UNKNOWN__