the fact that the Bunsen is Voltarian but it is not algorithmic is false.
sent1: if the melanocyte is a digitigrade then the desmid evens. sent2: if that the desmid evens is right then the rally does theorize. sent3: if that the rally theorizes hold the neurogliacyte does not concoct melanocyte. sent4: the melanocyte geminates sulfacetamide and is a digitigrade. sent5: the Bunsen is Voltarian and not algorithmic if the neurogliacyte does not concoct melanocyte.
sent4 -> int1: the melanocyte is a kind of a digitigrade.; sent1 & int1 -> int2: the desmid does even.; sent2 & int2 -> int3: the rally does theorize.; sent3 & int3 -> int4: the fact that the neurogliacyte does not concoct melanocyte hold.; sent5 & int4 -> hypothesis;
$hypothesis$ = the fact that the Bunsen is Voltarian but it is not algorithmic is false. ; $context$ = sent1: if the melanocyte is a digitigrade then the desmid evens. sent2: if that the desmid evens is right then the rally does theorize. sent3: if that the rally theorizes hold the neurogliacyte does not concoct melanocyte. sent4: the melanocyte geminates sulfacetamide and is a digitigrade. sent5: the Bunsen is Voltarian and not algorithmic if the neurogliacyte does not concoct melanocyte. ; $proof$ = 
sent4 -> int1: the melanocyte is a kind of a digitigrade.; sent1 & int1 -> int2: the desmid does even.; sent2 & int2 -> int3: the rally does theorize.; sent3 & int3 -> int4: the fact that the neurogliacyte does not concoct melanocyte hold.; sent5 & int4 -> hypothesis; __DISPROVED__