there exists something such that if it does riffle Brighton then it is not occupational.
sent1: the bungalow is occupational if it riffles Brighton. sent2: there exists something such that if it does riffle Brighton then it is occupational. sent3: if the prizefighter is non-occupational then that it is not non-nidicolous or it does not riffle Brighton or both does not hold. sent4: something is not a anastigmat. sent5: the bungalow is occupational. sent6: the bungalow is occupational if it is nidicolous and it riffles Brighton. sent7: the prizefighter is not occupational if the probenecid is non-occupational thing that is not anaerobic. sent8: the bungalow is not cyclonic. sent9: if there exists something such that the fact that it is trophoblastic and it is a kind of a anastigmat is not incorrect then the bungalow is nidicolous. sent10: if a trophoblastic thing is not a anastigmat the bungalow is nidicolous. sent11: if something is non-concentric it is not occupational and is not anaerobic. sent12: something is not occupational if it is nidicolous thing that riffles Brighton.
void -> assump1: Let's assume that the bungalow does riffle Brighton.; sent12 -> int1: the bungalow is not occupational if it is nidicolous and it does riffle Brighton.;
the bungalow is a kind of a anastigmat.
sent11 -> int2: if the probenecid is not concentric it is not occupational and it is not anaerobic.;
$hypothesis$ = there exists something such that if it does riffle Brighton then it is not occupational. ; $context$ = sent1: the bungalow is occupational if it riffles Brighton. sent2: there exists something such that if it does riffle Brighton then it is occupational. sent3: if the prizefighter is non-occupational then that it is not non-nidicolous or it does not riffle Brighton or both does not hold. sent4: something is not a anastigmat. sent5: the bungalow is occupational. sent6: the bungalow is occupational if it is nidicolous and it riffles Brighton. sent7: the prizefighter is not occupational if the probenecid is non-occupational thing that is not anaerobic. sent8: the bungalow is not cyclonic. sent9: if there exists something such that the fact that it is trophoblastic and it is a kind of a anastigmat is not incorrect then the bungalow is nidicolous. sent10: if a trophoblastic thing is not a anastigmat the bungalow is nidicolous. sent11: if something is non-concentric it is not occupational and is not anaerobic. sent12: something is not occupational if it is nidicolous thing that riffles Brighton. ; $proof$ = 
void -> assump1: Let's assume that the bungalow does riffle Brighton.; sent12 -> int1: the bungalow is not occupational if it is nidicolous and it does riffle Brighton.; __UNKNOWN__