that the hoister does attest and is not a kind of a Irrawaddy is not correct.
sent1: if the foldout does usher Maximian then it is both not a Irrawaddy and non-archiepiscopal. sent2: the hoister is not a Irrawaddy and/or it is a Djiboutian. sent3: everything is a jerboa and/or it is a Djiboutian. sent4: if the caspase is a jerboa and it is a Irrawaddy then the cosmopolitan is not archiepiscopal. sent5: either something does exhilarate Malabo or it does usher scilla or both. sent6: the hoister does attest. sent7: the hoister is archiepiscopal if something does not attest. sent8: the deerskin is a jerboa if the codger is a Djiboutian. sent9: if the codger is a kind of a jerboa the deerskin is a kind of a jerboa. sent10: the caspase is a Bradford if the deerskin is a kind of a jerboa. sent11: the caspase is not a Bradford if the cosmopolitan is archiepiscopal and it is a Irrawaddy. sent12: the cosmopolitan is archiepiscopal if there exists something such that it does not exhilarate Malabo and/or does usher scilla. sent13: the caspase is not a jerboa if that the deerskin is a kind of non-Djiboutian a jerboa is not right. sent14: if the cosmopolitan is not a kind of a jerboa the hoister is not a kind of a jerboa. sent15: that the cosmopolitan is archiepiscopal and is not a Bradford is not correct if that the caspase is not a kind of a jerboa is correct. sent16: something is not a kind of a Bradford or it is a jerboa or both. sent17: the leadwort exhilarates Malabo and/or does usher scilla. sent18: the codger is a kind of a jerboa if the fact that the cosmopolitan is not a kind of a jerboa is wrong. sent19: something does not attest if the fact that it is both archiepiscopal and not a Bradford does not hold. sent20: if something that is not a kind of a Irrawaddy is not archiepiscopal then it is a Limousin. sent21: there exists something such that that either it is not a Bradford or it is archiepiscopal or both is not false. sent22: that the hoister attests and is not a Irrawaddy hold if the fact that the cosmopolitan is not a Irrawaddy hold. sent23: the cosmopolitan is not a jerboa if the fact that the caspase is not a kind of a jerboa and does usher Maximian is not correct. sent24: the leadwort does not exhilarate Malabo and/or it ushers scilla. sent25: the foldout is Djiboutian if it is a Bradford. sent26: the foldout does usher Maximian. sent27: the cosmopolitan is archiepiscopal if there exists something such that it does not exhilarate Malabo. sent28: the hoister attests if the cosmopolitan is not a kind of a Irrawaddy.
sent24 -> int1: either something does not exhilarate Malabo or it ushers scilla or both.; int1 & sent12 -> int2: the cosmopolitan is archiepiscopal.; void -> assump1: Let's assume that the cosmopolitan is a Irrawaddy.; int2 & assump1 -> int3: the cosmopolitan is archiepiscopal and it is a Irrawaddy.; int3 & sent11 -> int4: the caspase is not a kind of a Bradford.; sent3 -> int5: the codger is a jerboa or is a Djiboutian or both.; int5 & sent9 & sent8 -> int6: the deerskin is a jerboa.; sent10 & int6 -> int7: the fact that the caspase is a Bradford is true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the cosmopolitan is not a Irrawaddy.; int9 & sent22 -> hypothesis;
that the hoister attests and is not a Irrawaddy does not hold.
$hypothesis$ = that the hoister does attest and is not a kind of a Irrawaddy is not correct. ; $context$ = sent1: if the foldout does usher Maximian then it is both not a Irrawaddy and non-archiepiscopal. sent2: the hoister is not a Irrawaddy and/or it is a Djiboutian. sent3: everything is a jerboa and/or it is a Djiboutian. sent4: if the caspase is a jerboa and it is a Irrawaddy then the cosmopolitan is not archiepiscopal. sent5: either something does exhilarate Malabo or it does usher scilla or both. sent6: the hoister does attest. sent7: the hoister is archiepiscopal if something does not attest. sent8: the deerskin is a jerboa if the codger is a Djiboutian. sent9: if the codger is a kind of a jerboa the deerskin is a kind of a jerboa. sent10: the caspase is a Bradford if the deerskin is a kind of a jerboa. sent11: the caspase is not a Bradford if the cosmopolitan is archiepiscopal and it is a Irrawaddy. sent12: the cosmopolitan is archiepiscopal if there exists something such that it does not exhilarate Malabo and/or does usher scilla. sent13: the caspase is not a jerboa if that the deerskin is a kind of non-Djiboutian a jerboa is not right. sent14: if the cosmopolitan is not a kind of a jerboa the hoister is not a kind of a jerboa. sent15: that the cosmopolitan is archiepiscopal and is not a Bradford is not correct if that the caspase is not a kind of a jerboa is correct. sent16: something is not a kind of a Bradford or it is a jerboa or both. sent17: the leadwort exhilarates Malabo and/or does usher scilla. sent18: the codger is a kind of a jerboa if the fact that the cosmopolitan is not a kind of a jerboa is wrong. sent19: something does not attest if the fact that it is both archiepiscopal and not a Bradford does not hold. sent20: if something that is not a kind of a Irrawaddy is not archiepiscopal then it is a Limousin. sent21: there exists something such that that either it is not a Bradford or it is archiepiscopal or both is not false. sent22: that the hoister attests and is not a Irrawaddy hold if the fact that the cosmopolitan is not a Irrawaddy hold. sent23: the cosmopolitan is not a jerboa if the fact that the caspase is not a kind of a jerboa and does usher Maximian is not correct. sent24: the leadwort does not exhilarate Malabo and/or it ushers scilla. sent25: the foldout is Djiboutian if it is a Bradford. sent26: the foldout does usher Maximian. sent27: the cosmopolitan is archiepiscopal if there exists something such that it does not exhilarate Malabo. sent28: the hoister attests if the cosmopolitan is not a kind of a Irrawaddy. ; $proof$ = 
sent24 -> int1: either something does not exhilarate Malabo or it ushers scilla or both.; int1 & sent12 -> int2: the cosmopolitan is archiepiscopal.; void -> assump1: Let's assume that the cosmopolitan is a Irrawaddy.; int2 & assump1 -> int3: the cosmopolitan is archiepiscopal and it is a Irrawaddy.; int3 & sent11 -> int4: the caspase is not a kind of a Bradford.; sent3 -> int5: the codger is a jerboa or is a Djiboutian or both.; int5 & sent9 & sent8 -> int6: the deerskin is a jerboa.; sent10 & int6 -> int7: the fact that the caspase is a Bradford is true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the cosmopolitan is not a Irrawaddy.; int9 & sent22 -> hypothesis; __DISPROVED__