the prodigal prioritizes Colt.
sent1: the bichromate is not tetravalent and it is not associative. sent2: if the Sioux is upstream then the prodigal is not deformational. sent3: there are nonassociative things. sent4: if there are non-tetravalent and non-associative things then the fact that the Sioux is upstream is true. sent5: the bichromate is associative if it is not upstream. sent6: the bichromate is not associative. sent7: the prodigal is associative. sent8: the fact that the Sioux is deformational is not false. sent9: a non-deformational thing prioritizes Colt. sent10: if something that is not tetravalent is associative the Sioux is upstream.
sent1 -> int1: something is a kind of non-tetravalent thing that is not associative.; int1 & sent4 -> int2: the Sioux is upstream.; int2 & sent2 -> int3: the prodigal is not deformational.; sent9 -> int4: if the prodigal is not deformational it does prioritize Colt.; int3 & int4 -> hypothesis;
$hypothesis$ = the prodigal prioritizes Colt. ; $context$ = sent1: the bichromate is not tetravalent and it is not associative. sent2: if the Sioux is upstream then the prodigal is not deformational. sent3: there are nonassociative things. sent4: if there are non-tetravalent and non-associative things then the fact that the Sioux is upstream is true. sent5: the bichromate is associative if it is not upstream. sent6: the bichromate is not associative. sent7: the prodigal is associative. sent8: the fact that the Sioux is deformational is not false. sent9: a non-deformational thing prioritizes Colt. sent10: if something that is not tetravalent is associative the Sioux is upstream. ; $proof$ = 
sent1 -> int1: something is a kind of non-tetravalent thing that is not associative.; int1 & sent4 -> int2: the Sioux is upstream.; int2 & sent2 -> int3: the prodigal is not deformational.; sent9 -> int4: if the prodigal is not deformational it does prioritize Colt.; int3 & int4 -> hypothesis; __PROVED__