the fact that the Trotskyite is not a bust-up is not false.
sent1: if something is not araneidal the actinomycete rebuilds or is susceptible or both. sent2: if something is a tug then either it is not decent or it is not a respect or both. sent3: the fulminate does not interact. sent4: the ileum is not araneidal. sent5: the kirpan is non-palingenetic. sent6: if the Schoolman is not semiparasitic then the Trotskyite is a kind of a bust-up. sent7: something is a tug if it is precocious. sent8: the ileum is not a basalt. sent9: if the Trotskyite is susceptible that it is not a bust-up is correct. sent10: the Schoolman is not tertian and not semiparasitic if there is something such that it is not a Seljuk. sent11: something is semiparasitic and is susceptible if it is not araneidal. sent12: if that the ileum is both not precocious and not a basalt is not incorrect then the actinomycete is precocious. sent13: something is not a bust-up if the fact that it is a bust-up and it is tertian is not right. sent14: if the fact that something is not Seljuk is not false the fact that it is a bust-up and tertian is false. sent15: the Schoolman is not tertian. sent16: the apogamy is a kind of a bust-up. sent17: if there exists something such that it is not palingenetic then the lantana is not incestuous. sent18: if something does not shampoo Trotskyite it is Seljuk and does rebuild. sent19: the Schoolman is not araneidal if that the actinomycete is not decent is right. sent20: the Schoolman is not tertian if there exists something such that the fact that it is not a kind of a Seljuk is right. sent21: there exists something such that it is not Seljuk. sent22: something is a kind of a Seljuk. sent23: if there exists something such that it is not incestuous the ileum is not precocious.
sent21 & sent10 -> int1: the Schoolman is not tertian and it is not semiparasitic.; int1 -> int2: the Schoolman is not semiparasitic.; sent6 & int2 -> hypothesis;
the wigwam is a kind of a Seljuk.
sent4 -> int3: something is not araneidal.; int3 & sent1 -> int4: the actinomycete does rebuild and/or it is susceptible.;
$hypothesis$ = the fact that the Trotskyite is not a bust-up is not false. ; $context$ = sent1: if something is not araneidal the actinomycete rebuilds or is susceptible or both. sent2: if something is a tug then either it is not decent or it is not a respect or both. sent3: the fulminate does not interact. sent4: the ileum is not araneidal. sent5: the kirpan is non-palingenetic. sent6: if the Schoolman is not semiparasitic then the Trotskyite is a kind of a bust-up. sent7: something is a tug if it is precocious. sent8: the ileum is not a basalt. sent9: if the Trotskyite is susceptible that it is not a bust-up is correct. sent10: the Schoolman is not tertian and not semiparasitic if there is something such that it is not a Seljuk. sent11: something is semiparasitic and is susceptible if it is not araneidal. sent12: if that the ileum is both not precocious and not a basalt is not incorrect then the actinomycete is precocious. sent13: something is not a bust-up if the fact that it is a bust-up and it is tertian is not right. sent14: if the fact that something is not Seljuk is not false the fact that it is a bust-up and tertian is false. sent15: the Schoolman is not tertian. sent16: the apogamy is a kind of a bust-up. sent17: if there exists something such that it is not palingenetic then the lantana is not incestuous. sent18: if something does not shampoo Trotskyite it is Seljuk and does rebuild. sent19: the Schoolman is not araneidal if that the actinomycete is not decent is right. sent20: the Schoolman is not tertian if there exists something such that the fact that it is not a kind of a Seljuk is right. sent21: there exists something such that it is not Seljuk. sent22: something is a kind of a Seljuk. sent23: if there exists something such that it is not incestuous the ileum is not precocious. ; $proof$ = 
sent21 & sent10 -> int1: the Schoolman is not tertian and it is not semiparasitic.; int1 -> int2: the Schoolman is not semiparasitic.; sent6 & int2 -> hypothesis; __DISPROVED__