the fact that if the overpass is not unprofessional then the prokaryote does not browse cittern does not hold.
sent1: that the prokaryote does not browse cittern and is not a Farragut is not true. sent2: if that something is not a Hel and it is not a Farragut is wrong then it is not unprofessional. sent3: if the bootlace is a Hel the maleo is unicellular and/or it is a Hel. sent4: if the overpass is not unprofessional then the bootlace is a Hel. sent5: if the maleo is either not unicellular or a Hel or both then the attrition is a Farragut. sent6: if the bootlace is a Hel then the maleo is not unicellular and/or it is a kind of a Hel. sent7: the maleo is unicellular or it is a Hel or both. sent8: if the maleo is a Farragut then the batten is not a kind of a Hel. sent9: if the maleo is not unicellular then the fact that the attrition is a kind of a Farragut is right. sent10: that the prokaryote does not browse cittern is not false if the batten is washable. sent11: that the batten is not a kind of a Farragut and is washable is not true if the attrition is a Farragut. sent12: if that the attrition is a Farragut is not incorrect then that the batten is both not a Farragut and not washable is not right. sent13: that the batten is not a Farragut but it is washable does not hold. sent14: the batten is unicellular. sent15: if that the batten is both not a Farragut and not washable is not correct then the prokaryote does not browse cittern. sent16: if the overpass is not unprofessional then the fact that the prokaryote browses cittern hold. sent17: the bootlace is a kind of a Hel if the overpass is unprofessional. sent18: if that the overpass is unprofessional is true the prokaryote does not browse cittern. sent19: the fact that the attrition is non-three-piece thing that does not simplify is incorrect if it is not unprofessional.
void -> assump1: Let's assume that the overpass is not unprofessional.; sent4 & assump1 -> int1: the bootlace is a Hel.; sent6 & int1 -> int2: either the maleo is not unicellular or it is a Hel or both.; sent5 & int2 -> int3: the attrition is a Farragut.; sent12 & int3 -> int4: that the batten is not a Farragut and it is not washable is not right.; sent15 & int4 -> int5: the prokaryote does not browse cittern.; [assump1] & int5 -> hypothesis;
that the attrition is a kind of non-three-piece thing that does not simplify does not hold.
sent2 -> int6: if that the attrition is not a Hel and is not a Farragut is incorrect it is not unprofessional.;
$hypothesis$ = the fact that if the overpass is not unprofessional then the prokaryote does not browse cittern does not hold. ; $context$ = sent1: that the prokaryote does not browse cittern and is not a Farragut is not true. sent2: if that something is not a Hel and it is not a Farragut is wrong then it is not unprofessional. sent3: if the bootlace is a Hel the maleo is unicellular and/or it is a Hel. sent4: if the overpass is not unprofessional then the bootlace is a Hel. sent5: if the maleo is either not unicellular or a Hel or both then the attrition is a Farragut. sent6: if the bootlace is a Hel then the maleo is not unicellular and/or it is a kind of a Hel. sent7: the maleo is unicellular or it is a Hel or both. sent8: if the maleo is a Farragut then the batten is not a kind of a Hel. sent9: if the maleo is not unicellular then the fact that the attrition is a kind of a Farragut is right. sent10: that the prokaryote does not browse cittern is not false if the batten is washable. sent11: that the batten is not a kind of a Farragut and is washable is not true if the attrition is a Farragut. sent12: if that the attrition is a Farragut is not incorrect then that the batten is both not a Farragut and not washable is not right. sent13: that the batten is not a Farragut but it is washable does not hold. sent14: the batten is unicellular. sent15: if that the batten is both not a Farragut and not washable is not correct then the prokaryote does not browse cittern. sent16: if the overpass is not unprofessional then the fact that the prokaryote browses cittern hold. sent17: the bootlace is a kind of a Hel if the overpass is unprofessional. sent18: if that the overpass is unprofessional is true the prokaryote does not browse cittern. sent19: the fact that the attrition is non-three-piece thing that does not simplify is incorrect if it is not unprofessional. ; $proof$ = 
void -> assump1: Let's assume that the overpass is not unprofessional.; sent4 & assump1 -> int1: the bootlace is a Hel.; sent6 & int1 -> int2: either the maleo is not unicellular or it is a Hel or both.; sent5 & int2 -> int3: the attrition is a Farragut.; sent12 & int3 -> int4: that the batten is not a Farragut and it is not washable is not right.; sent15 & int4 -> int5: the prokaryote does not browse cittern.; [assump1] & int5 -> hypothesis; __DISPROVED__