that the ferricyanide is off and/or it is not a caterwaul does not hold.
sent1: if something does not speak sodomy then the fact that it is a caterwaul and it does not splurge does not hold. sent2: the sodomy does splurge. sent3: the ferricyanide does speak sodomy if the sodomy does splurge. sent4: the ferricyanide is not off if it speaks sodomy. sent5: something that does speak sodomy is not off. sent6: the ferricyanide speaks sodomy and does splurge if that the sodomy is not a caterwaul hold. sent7: if something speaks sodomy then the fact that either it is off or it is not a caterwaul or both is not correct. sent8: if the shaver is reconcilable it does not speak sodomy.
sent3 & sent2 -> int1: the ferricyanide speaks sodomy.; sent7 -> int2: the fact that the ferricyanide is off or is not a caterwaul or both does not hold if it speaks sodomy.; int1 & int2 -> hypothesis;
the ferricyanide splurges.
$hypothesis$ = that the ferricyanide is off and/or it is not a caterwaul does not hold. ; $context$ = sent1: if something does not speak sodomy then the fact that it is a caterwaul and it does not splurge does not hold. sent2: the sodomy does splurge. sent3: the ferricyanide does speak sodomy if the sodomy does splurge. sent4: the ferricyanide is not off if it speaks sodomy. sent5: something that does speak sodomy is not off. sent6: the ferricyanide speaks sodomy and does splurge if that the sodomy is not a caterwaul hold. sent7: if something speaks sodomy then the fact that either it is off or it is not a caterwaul or both is not correct. sent8: if the shaver is reconcilable it does not speak sodomy. ; $proof$ = 
sent3 & sent2 -> int1: the ferricyanide speaks sodomy.; sent7 -> int2: the fact that the ferricyanide is off or is not a caterwaul or both does not hold if it speaks sodomy.; int1 & int2 -> hypothesis; __PROVED__