that the procurator is a ferricyanide is right.
sent1: if that the procurator is not intense and it is not unexpendable is not correct the bookkeeper does not strap transamination. sent2: the Dipper straps transamination and is a Paraguayan. sent3: something is unexpendable if it does not strap transamination and is intense. sent4: if the procurator is intense and expendable it is a ferricyanide. sent5: the Dipper is not a ferricyanide but it is a kind of a Paraguayan. sent6: the bookkeeper does not strap transamination if the procurator is intense. sent7: if something is a Paraguayan that does not strap transamination the fact that it is not unexpendable is wrong. sent8: something that does not strap transamination and is a ferricyanide is unexpendable. sent9: the codefendant is not intense. sent10: if something that is not a Paraguayan is a ferricyanide it straps transamination. sent11: the bookkeeper is not intense. sent12: the procurator is not anasarcous but it straps transamination. sent13: if something does not strap transamination and is unexpendable then it is a Paraguayan. sent14: the procurator is not intense. sent15: the fact that the adornment is not unexpendable if the procurator is not unexpendable and is a kind of a cartload is not incorrect. sent16: the Dipper does not strap transamination but it is a cartload if the bookkeeper does not strap transamination. sent17: that something is not a Paraguayan and is a ferricyanide is wrong if it is not Orphic. sent18: the bookkeeper is not Orphic. sent19: if the fact that something straps transamination and it is a kind of a cartload is wrong it is not a kind of a ferricyanide. sent20: the bookkeeper is a cartload. sent21: that the bookkeeper does not strap transamination but it is a ferricyanide is not true. sent22: that the Dipper does not chance Taoism and it does not strap transamination is not right.
void -> assump1: Let's assume that the fact that the procurator is not intense and it is not unexpendable is false.; sent1 & assump1 -> int1: the bookkeeper does not strap transamination.; int1 & sent16 -> int2: the Dipper does not strap transamination but it is a cartload.; int2 -> int3: the Dipper does not strap transamination.; sent2 -> int4: the Dipper does strap transamination.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the procurator is not intense and is expendable.;
the procurator is not a kind of a ferricyanide.
sent19 -> int7: if that the procurator does strap transamination and is a cartload does not hold it is not a ferricyanide.;
$hypothesis$ = that the procurator is a ferricyanide is right. ; $context$ = sent1: if that the procurator is not intense and it is not unexpendable is not correct the bookkeeper does not strap transamination. sent2: the Dipper straps transamination and is a Paraguayan. sent3: something is unexpendable if it does not strap transamination and is intense. sent4: if the procurator is intense and expendable it is a ferricyanide. sent5: the Dipper is not a ferricyanide but it is a kind of a Paraguayan. sent6: the bookkeeper does not strap transamination if the procurator is intense. sent7: if something is a Paraguayan that does not strap transamination the fact that it is not unexpendable is wrong. sent8: something that does not strap transamination and is a ferricyanide is unexpendable. sent9: the codefendant is not intense. sent10: if something that is not a Paraguayan is a ferricyanide it straps transamination. sent11: the bookkeeper is not intense. sent12: the procurator is not anasarcous but it straps transamination. sent13: if something does not strap transamination and is unexpendable then it is a Paraguayan. sent14: the procurator is not intense. sent15: the fact that the adornment is not unexpendable if the procurator is not unexpendable and is a kind of a cartload is not incorrect. sent16: the Dipper does not strap transamination but it is a cartload if the bookkeeper does not strap transamination. sent17: that something is not a Paraguayan and is a ferricyanide is wrong if it is not Orphic. sent18: the bookkeeper is not Orphic. sent19: if the fact that something straps transamination and it is a kind of a cartload is wrong it is not a kind of a ferricyanide. sent20: the bookkeeper is a cartload. sent21: that the bookkeeper does not strap transamination but it is a ferricyanide is not true. sent22: that the Dipper does not chance Taoism and it does not strap transamination is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the procurator is not intense and it is not unexpendable is false.; sent1 & assump1 -> int1: the bookkeeper does not strap transamination.; int1 & sent16 -> int2: the Dipper does not strap transamination but it is a cartload.; int2 -> int3: the Dipper does not strap transamination.; sent2 -> int4: the Dipper does strap transamination.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the procurator is not intense and is expendable.; __UNKNOWN__