the oolong does counterplot dalliance.
sent1: a non-extinct thing is a Vladivostok. sent2: the oolong does counterplot dalliance if the presbyter is a Vladivostok. sent3: the oolong does not bop strained. sent4: the fact that the presbyter is a carpophore and not a Senor does not hold. sent5: the fact that that the presbyter is a kind of a carpophore that is a Senor is right is not right. sent6: the presbyter bops strained if that it is extinct is not false. sent7: if something is not a Vladivostok then that it does bop strained and is not extinct does not hold. sent8: the presbyter does not bop strained if the fact that it is a carpophore and it is not a Senor is incorrect.
void -> assump1: Let's assume that the presbyter is extinct.; sent6 & assump1 -> int1: the presbyter does bop strained.; sent8 & sent4 -> int2: the presbyter does not bop strained.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the presbyter is not extinct.; sent1 -> int5: if that the presbyter is not extinct is not incorrect then it is a Vladivostok.; int4 & int5 -> int6: the presbyter is a Vladivostok.; int6 & sent2 -> hypothesis;
the oolong does not counterplot dalliance.
sent7 -> int7: if that the oolong is not a kind of a Vladivostok is not wrong then that it does bop strained and it is not extinct does not hold.;
$hypothesis$ = the oolong does counterplot dalliance. ; $context$ = sent1: a non-extinct thing is a Vladivostok. sent2: the oolong does counterplot dalliance if the presbyter is a Vladivostok. sent3: the oolong does not bop strained. sent4: the fact that the presbyter is a carpophore and not a Senor does not hold. sent5: the fact that that the presbyter is a kind of a carpophore that is a Senor is right is not right. sent6: the presbyter bops strained if that it is extinct is not false. sent7: if something is not a Vladivostok then that it does bop strained and is not extinct does not hold. sent8: the presbyter does not bop strained if the fact that it is a carpophore and it is not a Senor is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the presbyter is extinct.; sent6 & assump1 -> int1: the presbyter does bop strained.; sent8 & sent4 -> int2: the presbyter does not bop strained.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the presbyter is not extinct.; sent1 -> int5: if that the presbyter is not extinct is not incorrect then it is a Vladivostok.; int4 & int5 -> int6: the presbyter is a Vladivostok.; int6 & sent2 -> hypothesis; __PROVED__