the contents headquarters gazpacho.
sent1: the bandit is not virulent if the rear is a sadist and is not a kind of an inversion. sent2: the contents is a kind of an inversion but it does not headquarter gazpacho if it is a sadist. sent3: the bandit is a Nauruan if there is something such that it is not a self-service. sent4: there is something such that it is a kind of a self-service. sent5: the rear is not an inversion. sent6: if the rear is lowland it is not an inversion. sent7: if the fact that the contents does not headquarter lacertid and/or it is not a diabetic is wrong the rear is lowland. sent8: the bandit is a Nauruan and it is not non-virulent if there exists something such that it is not a self-service. sent9: the contents headquarters lacertid and/or is not a kind of a diabetic. sent10: if the rear is a kind of a sadist that is an inversion the bandit is not virulent. sent11: if that something does not headquarter gazpacho but it is virulent is false then that it is not virulent hold. sent12: something is not an inversion but it is lowland if it is not virulent. sent13: if something does not headquarter lacertid or it is not diabetic or both then it does not headquarter gazpacho. sent14: something headquarters gazpacho if the fact that it is non-lowland thing that does not headquarters gazpacho is not right. sent15: the rear is a lowland if that the contents does not headquarter lacertid and/or it is a kind of a diabetic is not true. sent16: if something is a sadist the fact that either it does not outgeneral crossover or it is not macromolecular or both is incorrect. sent17: there are non-self-service things. sent18: either the contents does not headquarter lacertid or it is a kind of a diabetic or both. sent19: if the rear is a lowland then it is a sadist and it is not an inversion. sent20: if something that is not an inversion is lowland then the wetter is a kind of a sadist. sent21: if that that the contents headquarters lacertid and/or it is non-diabetic is right is not correct the rear is a lowland. sent22: the bandit is a Nauruan.
void -> assump1: Let's assume that that the contents does not headquarter lacertid and/or it is not a diabetic does not hold.; sent7 & assump1 -> int1: the rear is a lowland.; int1 & sent19 -> int2: the rear is a sadist but it is not a kind of an inversion.; int2 & sent1 -> int3: the bandit is not virulent.; sent17 & sent8 -> int4: the bandit is a Nauruan and is virulent.; int4 -> int5: the bandit is virulent.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the contents does not headquarter lacertid and/or is not a kind of a diabetic.; sent13 -> int8: the contents does not headquarter gazpacho if it either does not headquarter lacertid or is not a diabetic or both.; int7 & int8 -> hypothesis;
the fact that the wetter does not outgeneral crossover and/or is not macromolecular does not hold.
sent16 -> int9: if the wetter is a kind of a sadist then the fact that it does not outgeneral crossover and/or is not macromolecular is not correct.; sent12 -> int10: the rear is not an inversion and is a lowland if it is not virulent.; sent11 -> int11: if the fact that the rear does not headquarter gazpacho but it is virulent is not true then the fact that it is not virulent is correct.;
$hypothesis$ = the contents headquarters gazpacho. ; $context$ = sent1: the bandit is not virulent if the rear is a sadist and is not a kind of an inversion. sent2: the contents is a kind of an inversion but it does not headquarter gazpacho if it is a sadist. sent3: the bandit is a Nauruan if there is something such that it is not a self-service. sent4: there is something such that it is a kind of a self-service. sent5: the rear is not an inversion. sent6: if the rear is lowland it is not an inversion. sent7: if the fact that the contents does not headquarter lacertid and/or it is not a diabetic is wrong the rear is lowland. sent8: the bandit is a Nauruan and it is not non-virulent if there exists something such that it is not a self-service. sent9: the contents headquarters lacertid and/or is not a kind of a diabetic. sent10: if the rear is a kind of a sadist that is an inversion the bandit is not virulent. sent11: if that something does not headquarter gazpacho but it is virulent is false then that it is not virulent hold. sent12: something is not an inversion but it is lowland if it is not virulent. sent13: if something does not headquarter lacertid or it is not diabetic or both then it does not headquarter gazpacho. sent14: something headquarters gazpacho if the fact that it is non-lowland thing that does not headquarters gazpacho is not right. sent15: the rear is a lowland if that the contents does not headquarter lacertid and/or it is a kind of a diabetic is not true. sent16: if something is a sadist the fact that either it does not outgeneral crossover or it is not macromolecular or both is incorrect. sent17: there are non-self-service things. sent18: either the contents does not headquarter lacertid or it is a kind of a diabetic or both. sent19: if the rear is a lowland then it is a sadist and it is not an inversion. sent20: if something that is not an inversion is lowland then the wetter is a kind of a sadist. sent21: if that that the contents headquarters lacertid and/or it is non-diabetic is right is not correct the rear is a lowland. sent22: the bandit is a Nauruan. ; $proof$ = 
void -> assump1: Let's assume that that the contents does not headquarter lacertid and/or it is not a diabetic does not hold.; sent7 & assump1 -> int1: the rear is a lowland.; int1 & sent19 -> int2: the rear is a sadist but it is not a kind of an inversion.; int2 & sent1 -> int3: the bandit is not virulent.; sent17 & sent8 -> int4: the bandit is a Nauruan and is virulent.; int4 -> int5: the bandit is virulent.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the contents does not headquarter lacertid and/or is not a kind of a diabetic.; sent13 -> int8: the contents does not headquarter gazpacho if it either does not headquarter lacertid or is not a diabetic or both.; int7 & int8 -> hypothesis; __DISPROVED__