the fact that the buggy is nonreturnable hold if the dehydroretinol is a programmer.
sent1: if the Rebel is a podzol the buggy is nonreturnable. sent2: if the Rebel is a kind of a doorplate then the dehydroretinol is not a programmer. sent3: the Rebel is a kind of a programmer if the dehydroretinol is a podzol. sent4: the buggy is a kind of a programmer if the fact that the dehydroretinol is nonreturnable is right. sent5: if something is not a podzol either it is hydroelectric or it is a doorplate or both.
void -> assump2: Let's assume that the dehydroretinol is a programmer.; sent5 -> int1: the Rebel is hydroelectric and/or is a doorplate if it is not a podzol.; void -> assump1: Let's assume that the Rebel is not a kind of a podzol.; int1 & assump1 -> int2: the Rebel is hydroelectric and/or it is a kind of a doorplate.;
$hypothesis$ = the fact that the buggy is nonreturnable hold if the dehydroretinol is a programmer. ; $context$ = sent1: if the Rebel is a podzol the buggy is nonreturnable. sent2: if the Rebel is a kind of a doorplate then the dehydroretinol is not a programmer. sent3: the Rebel is a kind of a programmer if the dehydroretinol is a podzol. sent4: the buggy is a kind of a programmer if the fact that the dehydroretinol is nonreturnable is right. sent5: if something is not a podzol either it is hydroelectric or it is a doorplate or both. ; $proof$ = 
void -> assump2: Let's assume that the dehydroretinol is a programmer.; sent5 -> int1: the Rebel is hydroelectric and/or is a doorplate if it is not a podzol.; void -> assump1: Let's assume that the Rebel is not a kind of a podzol.; int1 & assump1 -> int2: the Rebel is hydroelectric and/or it is a kind of a doorplate.; __UNKNOWN__