the utilitarian does not upset.
sent1: something is colorful if it is a kind of a neckerchief. sent2: the utilitarian is not a kind of an upset if the tailgate raps exocrine and it is dramatics. sent3: the tailgate does rap exocrine if the fact that it does not exsiccate Springfield and/or it is a kind of a circumnavigation is false. sent4: the utilitarian is a freedom. sent5: the tailgate does draw if it is joyful. sent6: something is a kind of a freedom if the fact that it does upset and/or it does not rap exocrine is false. sent7: the tailgate is not a kind of a freedom. sent8: the tailgate churns Iliad and it is a Noctuidae. sent9: the flamefish is a SCSI or not an upset or both. sent10: the Tarheel does not exsiccate Springfield if it is a kind of a ipecac or does not rap boxed or both. sent11: if the fact that the Tarheel does not exsiccate Springfield or is dramatics or both is incorrect then the utilitarian does not exsiccate Springfield. sent12: the Tarheel is a ipecac and/or it raps boxed. sent13: the tailgate is a kind of a circumnavigation if the Tarheel does not exsiccate Springfield. sent14: the tailgate is a kind of a circumnavigation. sent15: the tailgate does not misgive if the Tarheel exsiccates Springfield and is dramatics. sent16: the tailgate raps muton if it is not a freedom. sent17: if the fact that something does not exsiccate Springfield or is not a circumnavigation or both does not hold then it does rap exocrine. sent18: the Tarheel is a ipecac and/or it does not rap boxed. sent19: the tailgate raps muton. sent20: that the Tarheel does not exsiccate Springfield is true if it does not rap boxed. sent21: that the tailgate does not exsiccate Springfield and/or is not a circumnavigation is not correct if the Tarheel does not exsiccate Springfield. sent22: the utilitarian upsets and/or is not a ipecac. sent23: if the tailgate is not a freedom then it does rap muton and it does misgive. sent24: if the fact that either something does not exsiccate Springfield or it is a circumnavigation or both does not hold then it raps exocrine. sent25: something that misgives is dramatics. sent26: if the utilitarian does not rap exocrine and it is not dramatics it does not exsiccate Springfield. sent27: if the tailgate is an upset then it raps exocrine.
sent10 & sent18 -> int1: the Tarheel does not exsiccate Springfield.; int1 & sent21 -> int2: that the tailgate does not exsiccate Springfield and/or is not a kind of a circumnavigation is wrong.; sent17 -> int3: the tailgate raps exocrine if the fact that it does not exsiccate Springfield or is not a circumnavigation or both is not right.; int2 & int3 -> int4: the tailgate raps exocrine.; sent25 -> int5: the fact that the tailgate is dramatics is true if it does misgive.; sent23 & sent7 -> int6: the tailgate does rap muton and misgives.; int6 -> int7: the tailgate misgives.; int5 & int7 -> int8: the tailgate is dramatics.; int4 & int8 -> int9: the tailgate raps exocrine and is dramatics.; int9 & sent2 -> hypothesis;
the utilitarian is a kind of an upset.
$hypothesis$ = the utilitarian does not upset. ; $context$ = sent1: something is colorful if it is a kind of a neckerchief. sent2: the utilitarian is not a kind of an upset if the tailgate raps exocrine and it is dramatics. sent3: the tailgate does rap exocrine if the fact that it does not exsiccate Springfield and/or it is a kind of a circumnavigation is false. sent4: the utilitarian is a freedom. sent5: the tailgate does draw if it is joyful. sent6: something is a kind of a freedom if the fact that it does upset and/or it does not rap exocrine is false. sent7: the tailgate is not a kind of a freedom. sent8: the tailgate churns Iliad and it is a Noctuidae. sent9: the flamefish is a SCSI or not an upset or both. sent10: the Tarheel does not exsiccate Springfield if it is a kind of a ipecac or does not rap boxed or both. sent11: if the fact that the Tarheel does not exsiccate Springfield or is dramatics or both is incorrect then the utilitarian does not exsiccate Springfield. sent12: the Tarheel is a ipecac and/or it raps boxed. sent13: the tailgate is a kind of a circumnavigation if the Tarheel does not exsiccate Springfield. sent14: the tailgate is a kind of a circumnavigation. sent15: the tailgate does not misgive if the Tarheel exsiccates Springfield and is dramatics. sent16: the tailgate raps muton if it is not a freedom. sent17: if the fact that something does not exsiccate Springfield or is not a circumnavigation or both does not hold then it does rap exocrine. sent18: the Tarheel is a ipecac and/or it does not rap boxed. sent19: the tailgate raps muton. sent20: that the Tarheel does not exsiccate Springfield is true if it does not rap boxed. sent21: that the tailgate does not exsiccate Springfield and/or is not a circumnavigation is not correct if the Tarheel does not exsiccate Springfield. sent22: the utilitarian upsets and/or is not a ipecac. sent23: if the tailgate is not a freedom then it does rap muton and it does misgive. sent24: if the fact that either something does not exsiccate Springfield or it is a circumnavigation or both does not hold then it raps exocrine. sent25: something that misgives is dramatics. sent26: if the utilitarian does not rap exocrine and it is not dramatics it does not exsiccate Springfield. sent27: if the tailgate is an upset then it raps exocrine. ; $proof$ = 
sent10 & sent18 -> int1: the Tarheel does not exsiccate Springfield.; int1 & sent21 -> int2: that the tailgate does not exsiccate Springfield and/or is not a kind of a circumnavigation is wrong.; sent17 -> int3: the tailgate raps exocrine if the fact that it does not exsiccate Springfield or is not a circumnavigation or both is not right.; int2 & int3 -> int4: the tailgate raps exocrine.; sent25 -> int5: the fact that the tailgate is dramatics is true if it does misgive.; sent23 & sent7 -> int6: the tailgate does rap muton and misgives.; int6 -> int7: the tailgate misgives.; int5 & int7 -> int8: the tailgate is dramatics.; int4 & int8 -> int9: the tailgate raps exocrine and is dramatics.; int9 & sent2 -> hypothesis; __PROVED__