the fact that the Alexandrianness does not occur hold.
sent1: the Alexandrian occurs if the death happens. sent2: the leaning perquisite causes that the Alexandrian happens. sent3: the leaning perquisite occurs and/or the death happens if the leaning Sagittariidae does not occur. sent4: the leaning Sagittariidae does not occur. sent5: that the leaning Sagittariidae happens but the highwater does not occur is incorrect if the getting happens. sent6: if the leaning Sagittariidae occurs then the scalar occurs.
sent3 & sent4 -> int1: the leaning perquisite or the death or both happens.; int1 & sent2 & sent1 -> hypothesis;
the Alexandrian does not occur.
$hypothesis$ = the fact that the Alexandrianness does not occur hold. ; $context$ = sent1: the Alexandrian occurs if the death happens. sent2: the leaning perquisite causes that the Alexandrian happens. sent3: the leaning perquisite occurs and/or the death happens if the leaning Sagittariidae does not occur. sent4: the leaning Sagittariidae does not occur. sent5: that the leaning Sagittariidae happens but the highwater does not occur is incorrect if the getting happens. sent6: if the leaning Sagittariidae occurs then the scalar occurs. ; $proof$ = 
sent3 & sent4 -> int1: the leaning perquisite or the death or both happens.; int1 & sent2 & sent1 -> hypothesis; __DISPROVED__