the dossal fronts daze and it is a monsoon.
sent1: the dossal fronts daze and it is amethystine. sent2: the dossal disjoins and is a monsoon. sent3: the dossal disjoins. sent4: the dossal is amethystine. sent5: the fact that something does front daze and it is a monsoon does not hold if it does not disjoin.
sent2 -> int1: the dossal is a monsoon.; sent1 -> int2: the dossal fronts daze.; int1 & int2 -> hypothesis;
that the dossal does front daze and is a monsoon is wrong.
sent5 -> int3: if the dossal does not disjoin the fact that it fronts daze and is a monsoon does not hold.;
$hypothesis$ = the dossal fronts daze and it is a monsoon. ; $context$ = sent1: the dossal fronts daze and it is amethystine. sent2: the dossal disjoins and is a monsoon. sent3: the dossal disjoins. sent4: the dossal is amethystine. sent5: the fact that something does front daze and it is a monsoon does not hold if it does not disjoin. ; $proof$ = 
sent2 -> int1: the dossal is a monsoon.; sent1 -> int2: the dossal fronts daze.; int1 & int2 -> hypothesis; __PROVED__