that something is both not allergic and not a Fabiana is not right.
sent1: the surfer does not beat Molossidae and is Rooseveltian if the fact that the contrabass does beat Stanislavsky is not incorrect. sent2: that something does not beat Molossidae but it is not non-Rooseveltian is incorrect if it is not an abandonment. sent3: if there exists something such that the fact that it is a kind of a Channidae and is an abandonment is wrong the surfer is not a kind of an abandonment. sent4: the surfer is Rooseveltian. sent5: something is not allergic but it is a kind of a Fabiana. sent6: the cryoscope does beat Stanislavsky. sent7: something is a kind of a Channidae that is an abandonment. sent8: the cryoscope is not a Fabiana. sent9: something is both allergic and not a Fabiana. sent10: there exists something such that that it is both a Channidae and an abandonment does not hold. sent11: if the warehouse does content the fact that the contrabass beats Stanislavsky is not wrong. sent12: the fact that the surfer is not allergic and beats Molossidae is not right if it is not a kind of a Fabiana. sent13: there are non-allergic things. sent14: that the cryoscope does not beat Molossidae is not incorrect if the surfer is not allergic. sent15: if something is not a kind of an abandonment the surfer is not an abandonment. sent16: the cryoscope is not allergic and is not a Fabiana if the warehouse is not a content.
void -> assump1: Let's assume that the warehouse does content.; sent11 & assump1 -> int1: the contrabass does beat Stanislavsky.; int1 & sent1 -> int2: the surfer does not beat Molossidae and is Rooseveltian.; sent2 -> int3: if the surfer is not a kind of an abandonment the fact that it does not beat Molossidae and it is not non-Rooseveltian does not hold.; sent10 & sent3 -> int4: the surfer is not a kind of an abandonment.; int3 & int4 -> int5: the fact that the surfer does not beat Molossidae but it is Rooseveltian is incorrect.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the warehouse does not content.; int7 & sent16 -> int8: the cryoscope is not allergic and it is not a kind of a Fabiana.; int8 -> hypothesis;
$hypothesis$ = that something is both not allergic and not a Fabiana is not right. ; $context$ = sent1: the surfer does not beat Molossidae and is Rooseveltian if the fact that the contrabass does beat Stanislavsky is not incorrect. sent2: that something does not beat Molossidae but it is not non-Rooseveltian is incorrect if it is not an abandonment. sent3: if there exists something such that the fact that it is a kind of a Channidae and is an abandonment is wrong the surfer is not a kind of an abandonment. sent4: the surfer is Rooseveltian. sent5: something is not allergic but it is a kind of a Fabiana. sent6: the cryoscope does beat Stanislavsky. sent7: something is a kind of a Channidae that is an abandonment. sent8: the cryoscope is not a Fabiana. sent9: something is both allergic and not a Fabiana. sent10: there exists something such that that it is both a Channidae and an abandonment does not hold. sent11: if the warehouse does content the fact that the contrabass beats Stanislavsky is not wrong. sent12: the fact that the surfer is not allergic and beats Molossidae is not right if it is not a kind of a Fabiana. sent13: there are non-allergic things. sent14: that the cryoscope does not beat Molossidae is not incorrect if the surfer is not allergic. sent15: if something is not a kind of an abandonment the surfer is not an abandonment. sent16: the cryoscope is not allergic and is not a Fabiana if the warehouse is not a content. ; $proof$ = 
void -> assump1: Let's assume that the warehouse does content.; sent11 & assump1 -> int1: the contrabass does beat Stanislavsky.; int1 & sent1 -> int2: the surfer does not beat Molossidae and is Rooseveltian.; sent2 -> int3: if the surfer is not a kind of an abandonment the fact that it does not beat Molossidae and it is not non-Rooseveltian does not hold.; sent10 & sent3 -> int4: the surfer is not a kind of an abandonment.; int3 & int4 -> int5: the fact that the surfer does not beat Molossidae but it is Rooseveltian is incorrect.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the warehouse does not content.; int7 & sent16 -> int8: the cryoscope is not allergic and it is not a kind of a Fabiana.; int8 -> hypothesis; __DISPROVED__