the collagen is not sharp.
sent1: there exists nothing such that it is a midwatch and it is not an eighteen. sent2: if the ivory is not a sharp it is a Michael. sent3: the fact that the ivory is not the Barbary if the ivory is not a midwatch is right. sent4: if something spurts it is a sharp. sent5: if the ivory is a sharp the collagen is a sharp. sent6: the collagen does weed polyester and it is a Barbary. sent7: the barn does not better diachrony and/or is not a wastage. sent8: that the hangman is not a wastage is not incorrect if the barn does not better diachrony and/or is not a wastage. sent9: if the collagen is maturational and is a sharp the ivory is not a materiality. sent10: the Keynesian is a materiality and betters diachrony. sent11: if the collagen is both a materiality and a Barbary then the ivory is not maturational. sent12: if that the boron does not corner bijou and it does not spurt is false then it is an eighteen. sent13: there exists nothing such that it does not spurt and does not corner bijou. sent14: the fact that the boron is an eighteen and it is a kind of a large hold. sent15: if something is a kind of an eighteen and it is not non-large then the ivory is not a midwatch. sent16: something is a midwatch and an eighteen if it is not a kind of a wastage. sent17: the fact that if the fact that something is not a materiality is correct it is a Barbary is not incorrect. sent18: the ivory is not a kind of a sharp. sent19: the ivory catches. sent20: if that the collagen is non-maturational thing that is not a materiality is incorrect it is a kind of an eighteen. sent21: if the fact that something does not spurt and does not corner bijou is not correct then it is maturational. sent22: something does stargaze and it does better BASIC. sent23: if something is not non-large and it is a midwatch then it is not a Barbary. sent24: the ivory does weed copula and it is aldermanic. sent25: the boron is maturational but it is not a materiality if there is something such that it is not a kind of a Barbary.
sent13 -> int1: that the collagen does not spurt and does not corner bijou is incorrect.; sent21 -> int2: the collagen is maturational if the fact that it does not spurt and it does not corner bijou does not hold.; int1 & int2 -> int3: that the collagen is maturational is right.; void -> assump1: Let's assume that the collagen is a sharp.; int3 & assump1 -> int4: the collagen is maturational and is a sharp.; int4 & sent9 -> int5: the ivory is not a materiality.; sent17 -> int6: if the ivory is not a kind of a materiality the fact that it is a kind of a Barbary is not false.; int5 & int6 -> int7: the ivory is a kind of a Barbary.; sent14 -> int8: something is a kind of an eighteen and is a large.; int8 & sent15 -> int9: the ivory is not a kind of a midwatch.; sent3 & int9 -> int10: the ivory is not a Barbary.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the collagen is a sharp.
sent23 -> int12: the hangman is not a Barbary if it is a large and it is a midwatch.; sent16 -> int13: the hangman is a midwatch and it is a kind of an eighteen if it is not a wastage.; sent8 & sent7 -> int14: the hangman is not a kind of a wastage.; int13 & int14 -> int15: the hangman is a midwatch and it is an eighteen.; int15 -> int16: the hangman is a midwatch.;
$hypothesis$ = the collagen is not sharp. ; $context$ = sent1: there exists nothing such that it is a midwatch and it is not an eighteen. sent2: if the ivory is not a sharp it is a Michael. sent3: the fact that the ivory is not the Barbary if the ivory is not a midwatch is right. sent4: if something spurts it is a sharp. sent5: if the ivory is a sharp the collagen is a sharp. sent6: the collagen does weed polyester and it is a Barbary. sent7: the barn does not better diachrony and/or is not a wastage. sent8: that the hangman is not a wastage is not incorrect if the barn does not better diachrony and/or is not a wastage. sent9: if the collagen is maturational and is a sharp the ivory is not a materiality. sent10: the Keynesian is a materiality and betters diachrony. sent11: if the collagen is both a materiality and a Barbary then the ivory is not maturational. sent12: if that the boron does not corner bijou and it does not spurt is false then it is an eighteen. sent13: there exists nothing such that it does not spurt and does not corner bijou. sent14: the fact that the boron is an eighteen and it is a kind of a large hold. sent15: if something is a kind of an eighteen and it is not non-large then the ivory is not a midwatch. sent16: something is a midwatch and an eighteen if it is not a kind of a wastage. sent17: the fact that if the fact that something is not a materiality is correct it is a Barbary is not incorrect. sent18: the ivory is not a kind of a sharp. sent19: the ivory catches. sent20: if that the collagen is non-maturational thing that is not a materiality is incorrect it is a kind of an eighteen. sent21: if the fact that something does not spurt and does not corner bijou is not correct then it is maturational. sent22: something does stargaze and it does better BASIC. sent23: if something is not non-large and it is a midwatch then it is not a Barbary. sent24: the ivory does weed copula and it is aldermanic. sent25: the boron is maturational but it is not a materiality if there is something such that it is not a kind of a Barbary. ; $proof$ = 
sent13 -> int1: that the collagen does not spurt and does not corner bijou is incorrect.; sent21 -> int2: the collagen is maturational if the fact that it does not spurt and it does not corner bijou does not hold.; int1 & int2 -> int3: that the collagen is maturational is right.; void -> assump1: Let's assume that the collagen is a sharp.; int3 & assump1 -> int4: the collagen is maturational and is a sharp.; int4 & sent9 -> int5: the ivory is not a materiality.; sent17 -> int6: if the ivory is not a kind of a materiality the fact that it is a kind of a Barbary is not false.; int5 & int6 -> int7: the ivory is a kind of a Barbary.; sent14 -> int8: something is a kind of an eighteen and is a large.; int8 & sent15 -> int9: the ivory is not a kind of a midwatch.; sent3 & int9 -> int10: the ivory is not a Barbary.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__