the walleye does reline indemnification.
sent1: something does not weld cymule if it is high-tension. sent2: a high-tension thing is non-arthromeric thing that does not weld cymule. sent3: something is both not a halfbeak and not mediate. sent4: if the hospice is not arthromeric and does not weld cymule then the walleye does not reline indemnification. sent5: if there is something such that it is not a halfbeak and it is mediate the hospice is high-tension. sent6: the hospice is high-tension if something that is not a halfbeak is not mediate.
sent3 & sent6 -> int1: the hospice is high-tension.; sent2 -> int2: if the hospice is high-tension it is not arthromeric and does not weld cymule.; int1 & int2 -> int3: the fact that the hospice is a kind of non-arthromeric thing that does not weld cymule is true.; int3 & sent4 -> hypothesis;
$hypothesis$ = the walleye does reline indemnification. ; $context$ = sent1: something does not weld cymule if it is high-tension. sent2: a high-tension thing is non-arthromeric thing that does not weld cymule. sent3: something is both not a halfbeak and not mediate. sent4: if the hospice is not arthromeric and does not weld cymule then the walleye does not reline indemnification. sent5: if there is something such that it is not a halfbeak and it is mediate the hospice is high-tension. sent6: the hospice is high-tension if something that is not a halfbeak is not mediate. ; $proof$ = 
sent3 & sent6 -> int1: the hospice is high-tension.; sent2 -> int2: if the hospice is high-tension it is not arthromeric and does not weld cymule.; int1 & int2 -> int3: the fact that the hospice is a kind of non-arthromeric thing that does not weld cymule is true.; int3 & sent4 -> hypothesis; __DISPROVED__