if the barrow does not accrete that the autodidact is not a stymie and it does not savor is false.
sent1: if that something does not spud and/or it is a kind of a Herodotus is wrong the fact that it does accrete hold. sent2: the fact that something does not spud and/or it is a kind of a Herodotus is incorrect if it is a stymie. sent3: that the autodidact is not a stymie and does not savor is not right if the barrow is not a kind of a stymie.
sent2 -> int1: the fact that if the barrow is the stymie then that the barrow does not spud or it is a Herodotus or both is not true is not wrong.; void -> assump1: Let's assume that the fact that the barrow is a stymie is right.; int1 & assump1 -> int2: the fact that the barrow is not a spud or it is a Herodotus or both is false.; sent1 -> int3: the barrow does accrete if the fact that it does not spud and/or is a Herodotus does not hold.; int2 & int3 -> int4: the barrow does accrete.; void -> assump2: Let's assume that that the barrow does not accrete is not wrong.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the barrow is not a stymie.; int6 & sent3 -> int7: the fact that the autodidact is not a stymie and does not savor is not correct.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the barrow does not accrete that the autodidact is not a stymie and it does not savor is false. ; $context$ = sent1: if that something does not spud and/or it is a kind of a Herodotus is wrong the fact that it does accrete hold. sent2: the fact that something does not spud and/or it is a kind of a Herodotus is incorrect if it is a stymie. sent3: that the autodidact is not a stymie and does not savor is not right if the barrow is not a kind of a stymie. ; $proof$ = 
sent2 -> int1: the fact that if the barrow is the stymie then that the barrow does not spud or it is a Herodotus or both is not true is not wrong.; void -> assump1: Let's assume that the fact that the barrow is a stymie is right.; int1 & assump1 -> int2: the fact that the barrow is not a spud or it is a Herodotus or both is false.; sent1 -> int3: the barrow does accrete if the fact that it does not spud and/or is a Herodotus does not hold.; int2 & int3 -> int4: the barrow does accrete.; void -> assump2: Let's assume that that the barrow does not accrete is not wrong.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the barrow is not a stymie.; int6 & sent3 -> int7: the fact that the autodidact is not a stymie and does not savor is not correct.; [assump2] & int7 -> hypothesis; __PROVED__