that the triggerfish is both not a Mahler and not anaphrodisiac does not hold.
sent1: the rimu is not a dogged if either it is anaphrodisiac or it is not a dogged or both. sent2: the gantlet does nickel Polynesian. sent3: the rimu is mesomorphic. sent4: something is not profitable if the fact that it is profitable and is not a kind of a dogged is not correct. sent5: if the colorimeter is a flutter and is not a Shearer then the triggerfish is a Shearer. sent6: something does bulwark if it is a Shearer. sent7: that something is profitable but not a dogged is false if that it bulwarks is not false. sent8: if the gantlet is a dogged then the rimu is not a kind of a Shearer. sent9: the colorimeter is mesomorphic if the gantlet does nickel Polynesian. sent10: the rimu is anaphrodisiac or is not a kind of a dogged or both if it is mesomorphic. sent11: the gantlet is not a kind of a Mahler or it does bulwark or both if there exists something such that it is not a dogged. sent12: if something is not profitable the fact that the fact that it is not a Mahler and it is not anaphrodisiac is not incorrect does not hold. sent13: if the colorimeter is profitable then the gantlet does bulwark. sent14: the colorimeter flutters if it is mesomorphic. sent15: the triggerfish is not a Mahler and it is not anaphrodisiac if the colorimeter is not profitable. sent16: if the gantlet is a kind of a bulwark it is a kind of a dogged. sent17: the rimu is both a Shearer and mesomorphic.
void -> assump1: Let's assume that the colorimeter is profitable.; sent13 & assump1 -> int1: the gantlet is a bulwark.; int1 & sent16 -> int2: the gantlet is a dogged.; int2 & sent8 -> int3: the rimu is not a kind of a Shearer.; sent17 -> int4: the rimu is a Shearer.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the colorimeter is not profitable is not wrong.; int6 & sent15 -> hypothesis;
the fact that the triggerfish is not a Mahler and not anaphrodisiac is not true.
sent12 -> int7: the fact that the triggerfish is not a Mahler and not anaphrodisiac is incorrect if it is not profitable.; sent4 -> int8: if the fact that the triggerfish is profitable but not a dogged does not hold then it is not profitable.; sent7 -> int9: the fact that the triggerfish is a kind of profitable thing that is not a dogged is not correct if it is a bulwark.; sent6 -> int10: if the triggerfish is a kind of a Shearer then it bulwarks.; sent9 & sent2 -> int11: the colorimeter is mesomorphic.; sent14 & int11 -> int12: the fact that the colorimeter flutters is not wrong.;
$hypothesis$ = that the triggerfish is both not a Mahler and not anaphrodisiac does not hold. ; $context$ = sent1: the rimu is not a dogged if either it is anaphrodisiac or it is not a dogged or both. sent2: the gantlet does nickel Polynesian. sent3: the rimu is mesomorphic. sent4: something is not profitable if the fact that it is profitable and is not a kind of a dogged is not correct. sent5: if the colorimeter is a flutter and is not a Shearer then the triggerfish is a Shearer. sent6: something does bulwark if it is a Shearer. sent7: that something is profitable but not a dogged is false if that it bulwarks is not false. sent8: if the gantlet is a dogged then the rimu is not a kind of a Shearer. sent9: the colorimeter is mesomorphic if the gantlet does nickel Polynesian. sent10: the rimu is anaphrodisiac or is not a kind of a dogged or both if it is mesomorphic. sent11: the gantlet is not a kind of a Mahler or it does bulwark or both if there exists something such that it is not a dogged. sent12: if something is not profitable the fact that the fact that it is not a Mahler and it is not anaphrodisiac is not incorrect does not hold. sent13: if the colorimeter is profitable then the gantlet does bulwark. sent14: the colorimeter flutters if it is mesomorphic. sent15: the triggerfish is not a Mahler and it is not anaphrodisiac if the colorimeter is not profitable. sent16: if the gantlet is a kind of a bulwark it is a kind of a dogged. sent17: the rimu is both a Shearer and mesomorphic. ; $proof$ = 
void -> assump1: Let's assume that the colorimeter is profitable.; sent13 & assump1 -> int1: the gantlet is a bulwark.; int1 & sent16 -> int2: the gantlet is a dogged.; int2 & sent8 -> int3: the rimu is not a kind of a Shearer.; sent17 -> int4: the rimu is a Shearer.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the colorimeter is not profitable is not wrong.; int6 & sent15 -> hypothesis; __DISPROVED__