the sapropel is not an allegory.
sent1: there exists nothing that is non-electric thing that is not a Mugil. sent2: if the fact that that something is not an electric and not a Mugil hold is wrong then it is an allegory.
sent1 -> int1: that the sapropel is not electric and it is not a Mugil is wrong.; sent2 -> int2: the sapropel is an allegory if the fact that it is a kind of non-electric thing that is not a Mugil does not hold.; int1 & int2 -> hypothesis;
$hypothesis$ = the sapropel is not an allegory. ; $context$ = sent1: there exists nothing that is non-electric thing that is not a Mugil. sent2: if the fact that that something is not an electric and not a Mugil hold is wrong then it is an allegory. ; $proof$ = 
sent1 -> int1: that the sapropel is not electric and it is not a Mugil is wrong.; sent2 -> int2: the sapropel is an allegory if the fact that it is a kind of non-electric thing that is not a Mugil does not hold.; int1 & int2 -> hypothesis; __DISPROVED__