the phosphocreatine is not a kind of a Malachi.
sent1: the birdcall macerates. sent2: the phosphocreatine is a Malachi if the bedrock Frenchifies Cercidium. sent3: the bedrock does not tend. sent4: if the bedrock does tend and is a broiler it does Frenchify Cercidium. sent5: if the bedrock does not tend but it is a broiler it Frenchifies Cercidium. sent6: if the birdcall does macerate then the bedrock does not tend but it is a broiler.
sent6 & sent1 -> int1: the bedrock does not tend but it is a broiler.; int1 & sent5 -> int2: the bedrock does Frenchify Cercidium.; int2 & sent2 -> hypothesis;
$hypothesis$ = the phosphocreatine is not a kind of a Malachi. ; $context$ = sent1: the birdcall macerates. sent2: the phosphocreatine is a Malachi if the bedrock Frenchifies Cercidium. sent3: the bedrock does not tend. sent4: if the bedrock does tend and is a broiler it does Frenchify Cercidium. sent5: if the bedrock does not tend but it is a broiler it Frenchifies Cercidium. sent6: if the birdcall does macerate then the bedrock does not tend but it is a broiler. ; $proof$ = 
sent6 & sent1 -> int1: the bedrock does not tend but it is a broiler.; int1 & sent5 -> int2: the bedrock does Frenchify Cercidium.; int2 & sent2 -> hypothesis; __DISPROVED__