the coccobacillus is a theatrical or it is a kind of a lunacy or both.
sent1: if the undoer is a potpie the monotreme is a kind of a telescope. sent2: the fact that the brethren is a kind of a theatrical but it does not telescope is incorrect if the coccobacillus does not dub warhorse. sent3: something is not a potpie if that it does dub warhorse and is not a telescope is incorrect. sent4: if the coccobacillus is not theatrical it is a kind of non-antipollution thing that is not a kind of a Jung. sent5: something is both a potpie and mutagenic if that it does measure Skagway is incorrect. sent6: if the brethren is not a Jung it is a kind of a potpie that is a kind of a telescope. sent7: The Skagway does not measure brethren. sent8: if something does not dub warhorse it is not a kind of a potpie. sent9: the brethren is mechanical. sent10: if the brethren does not measure Skagway it is mutagenic. sent11: the parakeet does trundle pyrilamine and it deposits invocation. sent12: the coccobacillus is not a telescope if it does not dub warhorse and it is a lunacy. sent13: the fact that the undoer is mutagenic but it does not measure Skagway does not hold if something is numeral. sent14: the snapline is not a potpie. sent15: if something that is not a kind of a homosexual is Bismarckian it is not Masoretic. sent16: the brethren is a lunacy. sent17: the archbishop is a numeral. sent18: if the brethren does not dub warhorse it is not a kind of a potpie. sent19: if something does not measure Skagway then that it is mutagenic is right. sent20: something does not confuse if the fact that it confuse and it does not dub warhorse is incorrect. sent21: the coccobacillus does not confuse if it is both antipollution and not a Jung. sent22: the fact that the brethren is mutagenic is not incorrect. sent23: if the monotreme is a telescope then that the brethren confuses but it does not dub warhorse is incorrect. sent24: if a non-antipollution thing is not a Jung it does not confuse. sent25: the brethren does not measure Skagway.
void -> assump1: Let's assume that the coccobacillus is not a theatrical.; sent4 & assump1 -> int1: the coccobacillus is not antipollution and it is not a Jung.; sent24 -> int2: the coccobacillus does not confuse if it is not antipollution and is not a kind of a Jung.; int1 & int2 -> int3: the coccobacillus does not confuse.; sent3 -> int4: if the fact that the brethren does dub warhorse but it does not telescope is false it is not a potpie.; sent5 -> int5: if the brethren does not measure Skagway then it is a potpie that is mutagenic.; int5 & sent25 -> int6: the brethren is a potpie and it is mutagenic.; int6 -> int7: the brethren is a potpie.;
that the coccobacillus is a theatrical and/or it is a kind of a lunacy is wrong.
sent20 -> int8: the brethren does not confuse if that it confuse and does not dub warhorse is wrong.; sent17 -> int9: there is something such that it is a kind of a numeral.; int9 & sent13 -> int10: that the undoer is a kind of mutagenic thing that does not measure Skagway is wrong.;
$hypothesis$ = the coccobacillus is a theatrical or it is a kind of a lunacy or both. ; $context$ = sent1: if the undoer is a potpie the monotreme is a kind of a telescope. sent2: the fact that the brethren is a kind of a theatrical but it does not telescope is incorrect if the coccobacillus does not dub warhorse. sent3: something is not a potpie if that it does dub warhorse and is not a telescope is incorrect. sent4: if the coccobacillus is not theatrical it is a kind of non-antipollution thing that is not a kind of a Jung. sent5: something is both a potpie and mutagenic if that it does measure Skagway is incorrect. sent6: if the brethren is not a Jung it is a kind of a potpie that is a kind of a telescope. sent7: The Skagway does not measure brethren. sent8: if something does not dub warhorse it is not a kind of a potpie. sent9: the brethren is mechanical. sent10: if the brethren does not measure Skagway it is mutagenic. sent11: the parakeet does trundle pyrilamine and it deposits invocation. sent12: the coccobacillus is not a telescope if it does not dub warhorse and it is a lunacy. sent13: the fact that the undoer is mutagenic but it does not measure Skagway does not hold if something is numeral. sent14: the snapline is not a potpie. sent15: if something that is not a kind of a homosexual is Bismarckian it is not Masoretic. sent16: the brethren is a lunacy. sent17: the archbishop is a numeral. sent18: if the brethren does not dub warhorse it is not a kind of a potpie. sent19: if something does not measure Skagway then that it is mutagenic is right. sent20: something does not confuse if the fact that it confuse and it does not dub warhorse is incorrect. sent21: the coccobacillus does not confuse if it is both antipollution and not a Jung. sent22: the fact that the brethren is mutagenic is not incorrect. sent23: if the monotreme is a telescope then that the brethren confuses but it does not dub warhorse is incorrect. sent24: if a non-antipollution thing is not a Jung it does not confuse. sent25: the brethren does not measure Skagway. ; $proof$ = 
void -> assump1: Let's assume that the coccobacillus is not a theatrical.; sent4 & assump1 -> int1: the coccobacillus is not antipollution and it is not a Jung.; sent24 -> int2: the coccobacillus does not confuse if it is not antipollution and is not a kind of a Jung.; int1 & int2 -> int3: the coccobacillus does not confuse.; sent3 -> int4: if the fact that the brethren does dub warhorse but it does not telescope is false it is not a potpie.; sent5 -> int5: if the brethren does not measure Skagway then it is a potpie that is mutagenic.; int5 & sent25 -> int6: the brethren is a potpie and it is mutagenic.; int6 -> int7: the brethren is a potpie.; __UNKNOWN__