the fact that the fact that either the brig is Olympics or it does not rerun or both hold if the O is not aldermanic does not hold.
sent1: the fact that the O is meridional and is a arginine hold. sent2: the O is epicurean and a rerun. sent3: if that the brig is not aldermanic is right the O is epicurean and/or it does not rerun. sent4: the brig is Olympics or not a rerun or both if the O is not holozoic. sent5: something is epicurean and it diverts if it is not aldermanic. sent6: if the O is not aldermanic then the brig is Olympics and/or a rerun. sent7: the brig is a supination if it is not epicurean. sent8: something is not a petrifaction if the fact that it is a homeboy is not incorrect. sent9: if the O is aldermanic the brig is Olympics and/or is not a rerun. sent10: the brig is not a hail. sent11: something is a ballpoint if it is not ecological. sent12: a non-holozoic thing is both not non-Olympics and epicurean. sent13: the brig is not introspective if it is holozoic. sent14: the O either reruns or is not aldermanic or both if the brig is epicurean. sent15: the brig is not holozoic if it does single Vega. sent16: if something diverts it is not holozoic. sent17: if something does not divert it is a rerun. sent18: the brig either is not non-Olympics or does not divert or both.
sent5 -> int1: the fact that the O is epicurean and it diverts if the O is not aldermanic hold.; void -> assump1: Let's assume that the O is not aldermanic.; int1 & assump1 -> int2: the O is epicurean and does divert.; int2 -> int3: the O diverts.; sent16 -> int4: the O is not holozoic if it diverts.; int3 & int4 -> int5: that the O is not holozoic is right.; int5 & sent4 -> int6: that the brig is Olympics or it is not a rerun or both is not incorrect.; [assump1] & int6 -> hypothesis;
the O is not a petrifaction if it is a kind of a homeboy.
sent8 -> hypothesis;
$hypothesis$ = the fact that the fact that either the brig is Olympics or it does not rerun or both hold if the O is not aldermanic does not hold. ; $context$ = sent1: the fact that the O is meridional and is a arginine hold. sent2: the O is epicurean and a rerun. sent3: if that the brig is not aldermanic is right the O is epicurean and/or it does not rerun. sent4: the brig is Olympics or not a rerun or both if the O is not holozoic. sent5: something is epicurean and it diverts if it is not aldermanic. sent6: if the O is not aldermanic then the brig is Olympics and/or a rerun. sent7: the brig is a supination if it is not epicurean. sent8: something is not a petrifaction if the fact that it is a homeboy is not incorrect. sent9: if the O is aldermanic the brig is Olympics and/or is not a rerun. sent10: the brig is not a hail. sent11: something is a ballpoint if it is not ecological. sent12: a non-holozoic thing is both not non-Olympics and epicurean. sent13: the brig is not introspective if it is holozoic. sent14: the O either reruns or is not aldermanic or both if the brig is epicurean. sent15: the brig is not holozoic if it does single Vega. sent16: if something diverts it is not holozoic. sent17: if something does not divert it is a rerun. sent18: the brig either is not non-Olympics or does not divert or both. ; $proof$ = 
sent5 -> int1: the fact that the O is epicurean and it diverts if the O is not aldermanic hold.; void -> assump1: Let's assume that the O is not aldermanic.; int1 & assump1 -> int2: the O is epicurean and does divert.; int2 -> int3: the O diverts.; sent16 -> int4: the O is not holozoic if it diverts.; int3 & int4 -> int5: that the O is not holozoic is right.; int5 & sent4 -> int6: that the brig is Olympics or it is not a rerun or both is not incorrect.; [assump1] & int6 -> hypothesis; __DISPROVED__