the kudu is a kind of an embolism.
sent1: if that the thrush does not instrument backswimmer is right then the kudu is not a kind of an embolism. sent2: the thrush is printable. sent3: if a non-essential thing is not weighty then the backswimmer is not a decreased. sent4: that the syringe is not a kind of a Pima and does instrument backswimmer is wrong if that the backswimmer is not a decreased is not wrong. sent5: the kudu is not an embolism if that the thrush instruments backswimmer and it is a kind of a Pima is not right. sent6: something is a Tuskegee. sent7: if the backswimmer is either phrenological or printable or both then it is not a Tuskegee. sent8: the fact that the thrush instruments backswimmer and is a kind of a Pima is wrong if there is something such that it is not a kind of a Tuskegee. sent9: the backswimmer does not instrument backswimmer if the fact that the thrush is phrenological and it is an embolism is false. sent10: the backswimmer is a Pima. sent11: the backswimmer is not a kind of a Tuskegee if it is not unprintable. sent12: the backswimmer is a Pima and/or printable. sent13: there exists something such that it is not essential and it is not weighty. sent14: the backswimmer is phrenological. sent15: if a non-printable thing is not phrenological then it is an embolism. sent16: something is not phrenological. sent17: the kudu is not an embolism if that the thrush is printable and it instruments backswimmer is not right.
sent14 -> int1: the backswimmer is phrenological and/or it is printable.; int1 & sent7 -> int2: the backswimmer is not a Tuskegee.; int2 -> int3: there is something such that it is not a Tuskegee.; int3 & sent8 -> int4: that the thrush instruments backswimmer and it is a Pima is not true.; int4 & sent5 -> hypothesis;
the syringe is an embolism and/or is a Bleriot.
sent15 -> int5: if the syringe is both not printable and not phrenological it is a kind of an embolism.; sent13 & sent3 -> int6: the backswimmer is not a decreased.; sent4 & int6 -> int7: the fact that that the syringe is not a Pima but it instruments backswimmer is false is right.;
$hypothesis$ = the kudu is a kind of an embolism. ; $context$ = sent1: if that the thrush does not instrument backswimmer is right then the kudu is not a kind of an embolism. sent2: the thrush is printable. sent3: if a non-essential thing is not weighty then the backswimmer is not a decreased. sent4: that the syringe is not a kind of a Pima and does instrument backswimmer is wrong if that the backswimmer is not a decreased is not wrong. sent5: the kudu is not an embolism if that the thrush instruments backswimmer and it is a kind of a Pima is not right. sent6: something is a Tuskegee. sent7: if the backswimmer is either phrenological or printable or both then it is not a Tuskegee. sent8: the fact that the thrush instruments backswimmer and is a kind of a Pima is wrong if there is something such that it is not a kind of a Tuskegee. sent9: the backswimmer does not instrument backswimmer if the fact that the thrush is phrenological and it is an embolism is false. sent10: the backswimmer is a Pima. sent11: the backswimmer is not a kind of a Tuskegee if it is not unprintable. sent12: the backswimmer is a Pima and/or printable. sent13: there exists something such that it is not essential and it is not weighty. sent14: the backswimmer is phrenological. sent15: if a non-printable thing is not phrenological then it is an embolism. sent16: something is not phrenological. sent17: the kudu is not an embolism if that the thrush is printable and it instruments backswimmer is not right. ; $proof$ = 
sent14 -> int1: the backswimmer is phrenological and/or it is printable.; int1 & sent7 -> int2: the backswimmer is not a Tuskegee.; int2 -> int3: there is something such that it is not a Tuskegee.; int3 & sent8 -> int4: that the thrush instruments backswimmer and it is a Pima is not true.; int4 & sent5 -> hypothesis; __DISPROVED__