the flathead does not criticize Roberts.
sent1: that the submucosa is not a chipper and criticizes Roberts hold. sent2: the belch is a kind of a chipper if it criticizes trimmer. sent3: if the belch does not criticize trimmer the sugar-bush is a forepaw but not a Carolingian. sent4: something does not criticize trimmer and chips if it is a forepaw. sent5: if something is an origin it is a Carolingian. sent6: the trimmer is not a forepaw if there exists something such that it is not a kind of a Scrabble. sent7: there exists something such that it is not a kind of a orchiopexy and is a Scrabble. sent8: the submucosa is not an origin and/or it is a Carolingian if the fact that the belch does not criticize trimmer is true. sent9: the fact that the raider is not a orchiopexy but it is a Scrabble is wrong. sent10: there exists something such that that it is a kind of a orchiopexy and it is a kind of a Scrabble is not true. sent11: the belch is an origin if that the submucosa is a kind of a Serbian but it is not Draconian is wrong. sent12: the trimmer is not a forepaw if there is something such that the fact that it is not a orchiopexy and it is a Scrabble is wrong. sent13: the trimmer is a forepaw if the belch does chip. sent14: if something is not a chipper then the fact that it is not an origin and it is a microscopy is not right. sent15: there exists something such that that it does not criticize trimmer and it is a Scrabble does not hold. sent16: that the belch criticizes trimmer is not false if it is a kind of a Carolingian. sent17: if the submucosa is Serbian and non-Draconian then the flathead does criticize Roberts.
void -> assump1: Let's assume that the fact that the submucosa is Serbian and not Draconian does not hold.; sent11 & assump1 -> int1: the belch is a kind of an origin.; sent5 -> int2: the belch is a kind of a Carolingian if it is a kind of an origin.; int1 & int2 -> int3: the belch is a kind of a Carolingian.; int3 & sent16 -> int4: the belch criticizes trimmer.; int4 & sent2 -> int5: the belch does chip.; int5 & sent13 -> int6: the trimmer is a forepaw.; sent9 -> int7: there is something such that that it is both not a orchiopexy and a Scrabble is not true.; int7 & sent12 -> int8: the trimmer is not a forepaw.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the submucosa is both a Serbian and non-Draconian.; int10 & sent17 -> hypothesis;
the sugar-bush is a forepaw but it is not a microscopy.
sent14 -> int11: the fact that the submucosa is both not an origin and a microscopy is not right if it is not a kind of a chipper.; sent1 -> int12: the submucosa is not a chipper.; int11 & int12 -> int13: that the submucosa is not an origin but it is a microscopy is incorrect.; int13 -> int14: there is something such that the fact that it is not an origin and it is a kind of a microscopy is wrong.;
$hypothesis$ = the flathead does not criticize Roberts. ; $context$ = sent1: that the submucosa is not a chipper and criticizes Roberts hold. sent2: the belch is a kind of a chipper if it criticizes trimmer. sent3: if the belch does not criticize trimmer the sugar-bush is a forepaw but not a Carolingian. sent4: something does not criticize trimmer and chips if it is a forepaw. sent5: if something is an origin it is a Carolingian. sent6: the trimmer is not a forepaw if there exists something such that it is not a kind of a Scrabble. sent7: there exists something such that it is not a kind of a orchiopexy and is a Scrabble. sent8: the submucosa is not an origin and/or it is a Carolingian if the fact that the belch does not criticize trimmer is true. sent9: the fact that the raider is not a orchiopexy but it is a Scrabble is wrong. sent10: there exists something such that that it is a kind of a orchiopexy and it is a kind of a Scrabble is not true. sent11: the belch is an origin if that the submucosa is a kind of a Serbian but it is not Draconian is wrong. sent12: the trimmer is not a forepaw if there is something such that the fact that it is not a orchiopexy and it is a Scrabble is wrong. sent13: the trimmer is a forepaw if the belch does chip. sent14: if something is not a chipper then the fact that it is not an origin and it is a microscopy is not right. sent15: there exists something such that that it does not criticize trimmer and it is a Scrabble does not hold. sent16: that the belch criticizes trimmer is not false if it is a kind of a Carolingian. sent17: if the submucosa is Serbian and non-Draconian then the flathead does criticize Roberts. ; $proof$ = 
void -> assump1: Let's assume that the fact that the submucosa is Serbian and not Draconian does not hold.; sent11 & assump1 -> int1: the belch is a kind of an origin.; sent5 -> int2: the belch is a kind of a Carolingian if it is a kind of an origin.; int1 & int2 -> int3: the belch is a kind of a Carolingian.; int3 & sent16 -> int4: the belch criticizes trimmer.; int4 & sent2 -> int5: the belch does chip.; int5 & sent13 -> int6: the trimmer is a forepaw.; sent9 -> int7: there is something such that that it is both not a orchiopexy and a Scrabble is not true.; int7 & sent12 -> int8: the trimmer is not a forepaw.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the submucosa is both a Serbian and non-Draconian.; int10 & sent17 -> hypothesis; __DISPROVED__