the fact that the standard-bearer is not a pichiciago hold.
sent1: the vinegarroon is not a kind of a pichiciago if the standard-bearer is not a fabled but it is cacodemonic. sent2: if the vinegarroon is not cacodemonic and it is not a fabled the bearnaise is not a kind of a mire. sent3: everything is non-hydraulic. sent4: if that something is not hydraulic and is not a kind of a mire hold the standard-bearer is not a pichiciago. sent5: the vinegarroon is not cacodemonic and it is not a kind of a fabled.
sent3 -> int1: the bearnaise is not hydraulic.; sent2 & sent5 -> int2: the bearnaise does not mire.; int1 & int2 -> int3: the bearnaise is not hydraulic and it does not mire.; int3 -> int4: something is a kind of non-hydraulic thing that does not mire.; int4 & sent4 -> hypothesis;
$hypothesis$ = the fact that the standard-bearer is not a pichiciago hold. ; $context$ = sent1: the vinegarroon is not a kind of a pichiciago if the standard-bearer is not a fabled but it is cacodemonic. sent2: if the vinegarroon is not cacodemonic and it is not a fabled the bearnaise is not a kind of a mire. sent3: everything is non-hydraulic. sent4: if that something is not hydraulic and is not a kind of a mire hold the standard-bearer is not a pichiciago. sent5: the vinegarroon is not cacodemonic and it is not a kind of a fabled. ; $proof$ = 
sent3 -> int1: the bearnaise is not hydraulic.; sent2 & sent5 -> int2: the bearnaise does not mire.; int1 & int2 -> int3: the bearnaise is not hydraulic and it does not mire.; int3 -> int4: something is a kind of non-hydraulic thing that does not mire.; int4 & sent4 -> hypothesis; __PROVED__