if that the ND nails hold then the waveguide does deactivate Czech.
sent1: something deactivates Czech if it is Peloponnesian. sent2: if the ND is Peloponnesian the waveguide nails. sent3: if the ND nails then it cascades tastefulness.
void -> assump1: Let's assume that the ND nails.; sent3 & assump1 -> int1: the ND does cascade tastefulness.; sent1 -> int2: the waveguide does deactivate Czech if it is Peloponnesian.;
$hypothesis$ = if that the ND nails hold then the waveguide does deactivate Czech. ; $context$ = sent1: something deactivates Czech if it is Peloponnesian. sent2: if the ND is Peloponnesian the waveguide nails. sent3: if the ND nails then it cascades tastefulness. ; $proof$ = 
void -> assump1: Let's assume that the ND nails.; sent3 & assump1 -> int1: the ND does cascade tastefulness.; sent1 -> int2: the waveguide does deactivate Czech if it is Peloponnesian.; __UNKNOWN__