there exists something such that that the fact that it does not gobble or does not enjoy sodium or both is correct is false.
sent1: if something is not tactical then it does not snuffle Phaethontidae. sent2: the anime is not a kind of a Athelstan if it does not enjoy sodium. sent3: if something does not enjoy sodium then it is not Corsican. sent4: if something does enjoy sodium then the fact that it does not snuffle tauon and/or is not a movement is false. sent5: if something does not enjoy sodium it is Corsican. sent6: if the oolong does gobble then the anime gobble. sent7: the oolong is not a sirrah. sent8: the fact that the anime is nonlinear is not wrong. sent9: everything is not a reverie and does not beat trapshooter. sent10: the anime is an intermission. sent11: the kea is phrasal if it is a kind of nonlinear thing that is not faucal. sent12: if the anime does not enjoy sodium then it is Corsican. sent13: everything is not sisterly and it is not a sirrah. sent14: the anime is a cordgrass if it is both not Corsican and non-vacuolate. sent15: if the anime is sisterly and is not a sirrah it is not non-Corsican. sent16: the anime is not sisterly. sent17: if the fact that something is not a kind of a gobble hold then it is not Corsican. sent18: if the shinpad is not an eggnog then that it is not a sirrah is not false. sent19: if the anime is not Corsican then it is not a brittleness. sent20: the fact that something is Corsican hold if it is not sisterly and is not a sirrah. sent21: the trapshooter is not a boatload if it is not a Majidae. sent22: the clerid is not a factor and/or it is not a brew.
sent17 -> int1: the anime is not Corsican if it does not gobble.; void -> assump1: Let's assume that the anime is not a gobble and/or it does not enjoy sodium.; sent3 -> int2: the anime is not Corsican if it does not enjoy sodium.; int1 & assump1 & int2 -> int3: the anime is non-Corsican.; sent20 -> int4: if the anime is a kind of non-sisterly thing that is not a sirrah then it is Corsican.; sent13 -> int5: the anime is not sisterly and it is not a sirrah.; int4 & int5 -> int6: the anime is Corsican.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that either the anime does not gobble or it does not enjoy sodium or both is not true.; int8 -> hypothesis;
the fact that either the anime does not snuffle tauon or it is not a movement or both is false.
sent4 -> int9: if the anime does enjoy sodium that either it does not snuffle tauon or it is not a kind of a movement or both is false.;
$hypothesis$ = there exists something such that that the fact that it does not gobble or does not enjoy sodium or both is correct is false. ; $context$ = sent1: if something is not tactical then it does not snuffle Phaethontidae. sent2: the anime is not a kind of a Athelstan if it does not enjoy sodium. sent3: if something does not enjoy sodium then it is not Corsican. sent4: if something does enjoy sodium then the fact that it does not snuffle tauon and/or is not a movement is false. sent5: if something does not enjoy sodium it is Corsican. sent6: if the oolong does gobble then the anime gobble. sent7: the oolong is not a sirrah. sent8: the fact that the anime is nonlinear is not wrong. sent9: everything is not a reverie and does not beat trapshooter. sent10: the anime is an intermission. sent11: the kea is phrasal if it is a kind of nonlinear thing that is not faucal. sent12: if the anime does not enjoy sodium then it is Corsican. sent13: everything is not sisterly and it is not a sirrah. sent14: the anime is a cordgrass if it is both not Corsican and non-vacuolate. sent15: if the anime is sisterly and is not a sirrah it is not non-Corsican. sent16: the anime is not sisterly. sent17: if the fact that something is not a kind of a gobble hold then it is not Corsican. sent18: if the shinpad is not an eggnog then that it is not a sirrah is not false. sent19: if the anime is not Corsican then it is not a brittleness. sent20: the fact that something is Corsican hold if it is not sisterly and is not a sirrah. sent21: the trapshooter is not a boatload if it is not a Majidae. sent22: the clerid is not a factor and/or it is not a brew. ; $proof$ = 
sent17 -> int1: the anime is not Corsican if it does not gobble.; void -> assump1: Let's assume that the anime is not a gobble and/or it does not enjoy sodium.; sent3 -> int2: the anime is not Corsican if it does not enjoy sodium.; int1 & assump1 & int2 -> int3: the anime is non-Corsican.; sent20 -> int4: if the anime is a kind of non-sisterly thing that is not a sirrah then it is Corsican.; sent13 -> int5: the anime is not sisterly and it is not a sirrah.; int4 & int5 -> int6: the anime is Corsican.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that either the anime does not gobble or it does not enjoy sodium or both is not true.; int8 -> hypothesis; __PROVED__