the bather is a kind of a lights-out.
sent1: the representative is a kind of a genipa. sent2: if the representative justifies humanist the bather is a lights-out. sent3: the representative is not fictional. sent4: an ugly and non-fictional thing does justify humanist. sent5: if something is a genipa then the fact that it is a divorcee or it is non-intramural or both is wrong. sent6: something is ugly if that it is a divorcee or it is non-intramural or both is incorrect.
sent5 -> int1: the fact that the representative is a divorcee and/or it is not intramural is incorrect if it is a genipa.; int1 & sent1 -> int2: that the representative is a divorcee or it is not intramural or both does not hold.; sent6 -> int3: if the fact that either the representative is a divorcee or it is not intramural or both does not hold then it is ugly.; int2 & int3 -> int4: the representative is ugly.; int4 & sent3 -> int5: the representative is ugly but it is not fictional.; sent4 -> int6: if the representative is ugly but it is not fictional then it does justify humanist.; int5 & int6 -> int7: the representative justifies humanist.; int7 & sent2 -> hypothesis;
$hypothesis$ = the bather is a kind of a lights-out. ; $context$ = sent1: the representative is a kind of a genipa. sent2: if the representative justifies humanist the bather is a lights-out. sent3: the representative is not fictional. sent4: an ugly and non-fictional thing does justify humanist. sent5: if something is a genipa then the fact that it is a divorcee or it is non-intramural or both is wrong. sent6: something is ugly if that it is a divorcee or it is non-intramural or both is incorrect. ; $proof$ = 
sent5 -> int1: the fact that the representative is a divorcee and/or it is not intramural is incorrect if it is a genipa.; int1 & sent1 -> int2: that the representative is a divorcee or it is not intramural or both does not hold.; sent6 -> int3: if the fact that either the representative is a divorcee or it is not intramural or both does not hold then it is ugly.; int2 & int3 -> int4: the representative is ugly.; int4 & sent3 -> int5: the representative is ugly but it is not fictional.; sent4 -> int6: if the representative is ugly but it is not fictional then it does justify humanist.; int5 & int6 -> int7: the representative justifies humanist.; int7 & sent2 -> hypothesis; __PROVED__