there is something such that if it is not a kind of a riffle and pegs deadhead it does not reward intermittence.
sent1: the deadhead is not autotypic if it is both not a bidding and Moravian. sent2: the wisp does not reward intermittence if it is not a riffle and it does peg deadhead.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of a riffle and pegs deadhead it does not reward intermittence. ; $context$ = sent1: the deadhead is not autotypic if it is both not a bidding and Moravian. sent2: the wisp does not reward intermittence if it is not a riffle and it does peg deadhead. ; $proof$ = 
sent2 -> hypothesis; __PROVED__