the falangist does upset.
sent1: something carbonates brattice if it is a lateral and/or it is not a kind of an upset. sent2: the brattice is a pox. sent3: something does upset if the fact that it is a pox is correct. sent4: if the orpiment is not a lateral the falangist does not upset. sent5: something is a pox if that it is not a pox and carbonates brattice is not true. sent6: The brattice carbonates brattice. sent7: the brattice carbonates brattice. sent8: if there is something such that it is a pox that carbonates brattice that the orpiment is not a lateral is correct.
sent2 & sent7 -> int1: the brattice is a kind of a pox and carbonates brattice.; int1 -> int2: something is a pox that does carbonate brattice.; int2 & sent8 -> int3: the orpiment is not a lateral.; sent4 & int3 -> hypothesis;
the falangist upsets.
sent3 -> int4: the falangist is a kind of an upset if it is a kind of a pox.; sent5 -> int5: the falangist is a kind of a pox if the fact that it is not a pox and does carbonate brattice is wrong.;
$hypothesis$ = the falangist does upset. ; $context$ = sent1: something carbonates brattice if it is a lateral and/or it is not a kind of an upset. sent2: the brattice is a pox. sent3: something does upset if the fact that it is a pox is correct. sent4: if the orpiment is not a lateral the falangist does not upset. sent5: something is a pox if that it is not a pox and carbonates brattice is not true. sent6: The brattice carbonates brattice. sent7: the brattice carbonates brattice. sent8: if there is something such that it is a pox that carbonates brattice that the orpiment is not a lateral is correct. ; $proof$ = 
sent2 & sent7 -> int1: the brattice is a kind of a pox and carbonates brattice.; int1 -> int2: something is a pox that does carbonate brattice.; int2 & sent8 -> int3: the orpiment is not a lateral.; sent4 & int3 -> hypothesis; __DISPROVED__