the fact that the beats does unpick contrast and/or it is a kind of a Niamey is not right.
sent1: if something does not bog mnemonics then that either it unpicks contrast or it is a kind of a Niamey or both is not correct. sent2: if the fact that something is not cytophotometric is not false then the beats does not bog mnemonics. sent3: something is ribless but it is not pneumococcal. sent4: the doodad is not cytophotometric if there exists something such that it is ribless and non-pneumococcal.
sent3 & sent4 -> int1: the doodad is not cytophotometric.; int1 -> int2: there are non-cytophotometric things.; int2 & sent2 -> int3: the beats does not bog mnemonics.; sent1 -> int4: if the beats does not bog mnemonics then the fact that it does unpick contrast or it is a Niamey or both is wrong.; int3 & int4 -> hypothesis;
$hypothesis$ = the fact that the beats does unpick contrast and/or it is a kind of a Niamey is not right. ; $context$ = sent1: if something does not bog mnemonics then that either it unpicks contrast or it is a kind of a Niamey or both is not correct. sent2: if the fact that something is not cytophotometric is not false then the beats does not bog mnemonics. sent3: something is ribless but it is not pneumococcal. sent4: the doodad is not cytophotometric if there exists something such that it is ribless and non-pneumococcal. ; $proof$ = 
sent3 & sent4 -> int1: the doodad is not cytophotometric.; int1 -> int2: there are non-cytophotometric things.; int2 & sent2 -> int3: the beats does not bog mnemonics.; sent1 -> int4: if the beats does not bog mnemonics then the fact that it does unpick contrast or it is a Niamey or both is wrong.; int3 & int4 -> hypothesis; __PROVED__