the reassailing sixties does not occur.
sent1: the reassailing sixties happens if the flirting occurs. sent2: the reassailing sixties does not occur if the cerebrovascularness does not occur but the furrowing gown occurs. sent3: that the maniness does not occur causes that the enlivening based happens and the barometricness happens. sent4: both the cerebrovascularness and the furrowing gown happens. sent5: the fossorialness is prevented by that the cerebrovascularness or the sou'wester or both happens. sent6: if the enlivening based occurs then the fare-stage happens. sent7: that the statuariness does not occur yields the non-manyness. sent8: the statuary does not occur. sent9: if the fossorialness does not occur and the flirting does not occur the fare-stage does not occur.
sent4 -> int1: the fact that the cerebrovascularness happens is not incorrect.; int1 -> int2: the cerebrovascularness occurs and/or the sou'wester happens.; int2 & sent5 -> int3: the fact that the fossorialness does not occur hold.; void -> assump1: Let's assume that the flirting does not occur.; int3 & assump1 -> int4: the fossorialness does not occur and the flirt does not occur.; int4 & sent9 -> int5: the fare-stage does not occur.; sent7 & sent8 -> int6: the maniness does not occur.; sent3 & int6 -> int7: the enlivening based happens and the barometricness happens.; int7 -> int8: the enlivening based happens.; sent6 & int8 -> int9: the fare-stage happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the flirt happens.; int11 & sent1 -> hypothesis;
the reassailing sixties does not occur.
$hypothesis$ = the reassailing sixties does not occur. ; $context$ = sent1: the reassailing sixties happens if the flirting occurs. sent2: the reassailing sixties does not occur if the cerebrovascularness does not occur but the furrowing gown occurs. sent3: that the maniness does not occur causes that the enlivening based happens and the barometricness happens. sent4: both the cerebrovascularness and the furrowing gown happens. sent5: the fossorialness is prevented by that the cerebrovascularness or the sou'wester or both happens. sent6: if the enlivening based occurs then the fare-stage happens. sent7: that the statuariness does not occur yields the non-manyness. sent8: the statuary does not occur. sent9: if the fossorialness does not occur and the flirting does not occur the fare-stage does not occur. ; $proof$ = 
sent4 -> int1: the fact that the cerebrovascularness happens is not incorrect.; int1 -> int2: the cerebrovascularness occurs and/or the sou'wester happens.; int2 & sent5 -> int3: the fact that the fossorialness does not occur hold.; void -> assump1: Let's assume that the flirting does not occur.; int3 & assump1 -> int4: the fossorialness does not occur and the flirt does not occur.; int4 & sent9 -> int5: the fare-stage does not occur.; sent7 & sent8 -> int6: the maniness does not occur.; sent3 & int6 -> int7: the enlivening based happens and the barometricness happens.; int7 -> int8: the enlivening based happens.; sent6 & int8 -> int9: the fare-stage happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the flirt happens.; int11 & sent1 -> hypothesis; __DISPROVED__