the fact that the bathymeter is a Hun if the fact that the Man is irreconcilable is not incorrect is incorrect.
sent1: the fact that something is not a portwatcher and it does not riot polyphone is not true if it does not capitulate. sent2: the bathymeter does not soften if the sharpshooter is a kind of a Hun. sent3: the sharpshooter is not a Hun. sent4: the fact that the sharpshooter softens and is not prepositional does not hold. sent5: the trachodon softens. sent6: that the fact that the bathymeter is a kind of non-prepositional thing that is irreconcilable does not hold is not false if that the sharpshooter is not a kind of a Hun is correct. sent7: if that that the bathymeter is not a portwatcher and does not riot polyphone is not wrong is incorrect that the triton is not an allotment is correct. sent8: that something is irreconcilable and it is incongruous is wrong if it is not an allotment. sent9: the fact that the fact that the sharpshooter does not soften and is prepositional is wrong hold if the bathymeter is not a Hun. sent10: that the sharpshooter does not soften but it is prepositional is incorrect. sent11: something is not a Hun if the fact that it is both irreconcilable and not congruous does not hold. sent12: the involucre is not a kind of a Hun. sent13: that the sharpshooter does not soften and is not irreconcilable is wrong. sent14: if the sharpshooter is a Hun then the bathymeter softens. sent15: the Man is a kind of an hourglass. sent16: if the bathymeter is a Hun then that the sharpshooter does not soften and is not prepositional is incorrect. sent17: that the Man is not a Hun and is irreconcilable is not right. sent18: if the bathymeter is not a Hun that the sharpshooter does not soften and it is not prepositional is wrong. sent19: if that the sharpshooter does not soften and is not prepositional is not right then the Man is not irreconcilable. sent20: the sharpshooter is pyloric. sent21: if the bathymeter is a Hun the fact that the fact that the sharpshooter is not prepositional and it is not irreconcilable is true is not right.
void -> assump2: Let's assume that the Man is irreconcilable.; void -> assump1: Let's assume that the bathymeter is not a kind of a Hun.; sent18 & assump1 -> int1: the fact that the sharpshooter does not soften and is not prepositional does not hold.; sent19 & int1 -> int2: the Man is not irreconcilable.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bathymeter is a Hun.; [assump2] & int4 -> hypothesis;
the triton is not a Hun.
sent11 -> int5: if the fact that the triton is both not non-irreconcilable and not congruous is incorrect it is not a Hun.; sent8 -> int6: if the triton is not a kind of an allotment that it is irreconcilable and it is incongruous is wrong.; sent1 -> int7: if the bathymeter does not capitulate then the fact that it is not a portwatcher and does not riot polyphone is not true.;
$hypothesis$ = the fact that the bathymeter is a Hun if the fact that the Man is irreconcilable is not incorrect is incorrect. ; $context$ = sent1: the fact that something is not a portwatcher and it does not riot polyphone is not true if it does not capitulate. sent2: the bathymeter does not soften if the sharpshooter is a kind of a Hun. sent3: the sharpshooter is not a Hun. sent4: the fact that the sharpshooter softens and is not prepositional does not hold. sent5: the trachodon softens. sent6: that the fact that the bathymeter is a kind of non-prepositional thing that is irreconcilable does not hold is not false if that the sharpshooter is not a kind of a Hun is correct. sent7: if that that the bathymeter is not a portwatcher and does not riot polyphone is not wrong is incorrect that the triton is not an allotment is correct. sent8: that something is irreconcilable and it is incongruous is wrong if it is not an allotment. sent9: the fact that the fact that the sharpshooter does not soften and is prepositional is wrong hold if the bathymeter is not a Hun. sent10: that the sharpshooter does not soften but it is prepositional is incorrect. sent11: something is not a Hun if the fact that it is both irreconcilable and not congruous does not hold. sent12: the involucre is not a kind of a Hun. sent13: that the sharpshooter does not soften and is not irreconcilable is wrong. sent14: if the sharpshooter is a Hun then the bathymeter softens. sent15: the Man is a kind of an hourglass. sent16: if the bathymeter is a Hun then that the sharpshooter does not soften and is not prepositional is incorrect. sent17: that the Man is not a Hun and is irreconcilable is not right. sent18: if the bathymeter is not a Hun that the sharpshooter does not soften and it is not prepositional is wrong. sent19: if that the sharpshooter does not soften and is not prepositional is not right then the Man is not irreconcilable. sent20: the sharpshooter is pyloric. sent21: if the bathymeter is a Hun the fact that the fact that the sharpshooter is not prepositional and it is not irreconcilable is true is not right. ; $proof$ = 
void -> assump2: Let's assume that the Man is irreconcilable.; void -> assump1: Let's assume that the bathymeter is not a kind of a Hun.; sent18 & assump1 -> int1: the fact that the sharpshooter does not soften and is not prepositional does not hold.; sent19 & int1 -> int2: the Man is not irreconcilable.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bathymeter is a Hun.; [assump2] & int4 -> hypothesis; __DISPROVED__