the blackbeetle is a kind of a Tyndale.
sent1: if the combustion is not steroidal then it is not dithyrambic. sent2: if something is not steroidal it does not dive blackbeetle and it is not dithyrambic. sent3: if the blackbeetle does halve scrambled then it is a kind of a Tyndale. sent4: the combustion is not steroidal. sent5: the combustion is not dithyrambic. sent6: if something is not steroidal it is not dithyrambic. sent7: if the combustion does not dive blackbeetle and is dithyrambic then the blackbeetle does halve scrambled. sent8: the blackbeetle does halve scrambled if the combustion does not dive blackbeetle and is not dithyrambic.
sent2 -> int1: if the combustion is not steroidal it does not dive blackbeetle and is not dithyrambic.; int1 & sent4 -> int2: the combustion does not dive blackbeetle and is not dithyrambic.; int2 & sent8 -> int3: the blackbeetle halves scrambled.; int3 & sent3 -> hypothesis;
$hypothesis$ = the blackbeetle is a kind of a Tyndale. ; $context$ = sent1: if the combustion is not steroidal then it is not dithyrambic. sent2: if something is not steroidal it does not dive blackbeetle and it is not dithyrambic. sent3: if the blackbeetle does halve scrambled then it is a kind of a Tyndale. sent4: the combustion is not steroidal. sent5: the combustion is not dithyrambic. sent6: if something is not steroidal it is not dithyrambic. sent7: if the combustion does not dive blackbeetle and is dithyrambic then the blackbeetle does halve scrambled. sent8: the blackbeetle does halve scrambled if the combustion does not dive blackbeetle and is not dithyrambic. ; $proof$ = 
sent2 -> int1: if the combustion is not steroidal it does not dive blackbeetle and is not dithyrambic.; int1 & sent4 -> int2: the combustion does not dive blackbeetle and is not dithyrambic.; int2 & sent8 -> int3: the blackbeetle halves scrambled.; int3 & sent3 -> hypothesis; __PROVED__