the archduke is a homopteran if the pentazocine stagnates.
sent1: if something is a kind of a adsorbent and it stagnates then the midden is not trustworthy. sent2: the midden does not stagnate. sent3: the pentazocine is trustworthy. sent4: the archduke does stagnate. sent5: the pentazocine is adsorbent. sent6: something is not nonadsorbent. sent7: the archduke does not stagnate if there exists something such that it is a homopteran and is adsorbent. sent8: the shower is adsorbent. sent9: the oceanfront does stagnate. sent10: something stagnates. sent11: the pentazocine exhales and is trustworthy. sent12: the archduke is a homopteran if the midden is not trustworthy. sent13: the midden is a adsorbent.
void -> assump1: Let's assume that the pentazocine does stagnate.; sent5 & assump1 -> int1: the pentazocine is adsorbent thing that stagnates.; int1 -> int2: that something is a adsorbent and it does stagnate is not wrong.; int2 & sent1 -> int3: the midden is not trustworthy.; sent12 & int3 -> int4: the archduke is a homopteran.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the archduke is a homopteran if the pentazocine stagnates. ; $context$ = sent1: if something is a kind of a adsorbent and it stagnates then the midden is not trustworthy. sent2: the midden does not stagnate. sent3: the pentazocine is trustworthy. sent4: the archduke does stagnate. sent5: the pentazocine is adsorbent. sent6: something is not nonadsorbent. sent7: the archduke does not stagnate if there exists something such that it is a homopteran and is adsorbent. sent8: the shower is adsorbent. sent9: the oceanfront does stagnate. sent10: something stagnates. sent11: the pentazocine exhales and is trustworthy. sent12: the archduke is a homopteran if the midden is not trustworthy. sent13: the midden is a adsorbent. ; $proof$ = 
void -> assump1: Let's assume that the pentazocine does stagnate.; sent5 & assump1 -> int1: the pentazocine is adsorbent thing that stagnates.; int1 -> int2: that something is a adsorbent and it does stagnate is not wrong.; int2 & sent1 -> int3: the midden is not trustworthy.; sent12 & int3 -> int4: the archduke is a homopteran.; [assump1] & int4 -> hypothesis; __PROVED__