the fact that if the respirator is a kind of a Toxotidae the darner does memorialize darner is not correct.
sent1: if the fact that the darner is Nicaean is not incorrect then the pogonip is a malingerer. sent2: if the fact that the sportswear is tensional but it is not Jain is not correct it is a kind of a toehold. sent3: the pogonip is a malingerer. sent4: if that something is Nicaean but it is not a malingerer is wrong then it is a Toxotidae. sent5: if the respirator is a kind of a malingerer then the darner is a Toxotidae. sent6: something is a kind of a Toxotidae if the fact that it is a kind of Nicaean thing that does not memorialize darner is not correct. sent7: if the fact that something is both a sifter and not a Erythroxylon is wrong then it is a kind of a poroporo. sent8: the formaldehyde memorializes darner. sent9: the respirator memorializes darner. sent10: the darner is a kind of a Galen. sent11: the fact that the Creole is a kind of a Melogale that is not azonal is false. sent12: the rundle is a kind of a malingerer. sent13: if something is not Nicaean it memorializes darner. sent14: the darner is a malingerer if the fact that it is both Nicaean and not a Toxotidae is not right. sent15: the pogonip is Nicaean if the respirator is a Toxotidae. sent16: that the darner is a kind of Nicaean thing that is not a malingerer does not hold if the pogonip is Nicaean. sent17: if the darner is not Nicaean it memorializes darner. sent18: the respirator is a pinfold. sent19: if the fact that something is a kind of Nicaean thing that is not a kind of a malingerer is not true it does memorialize darner.
void -> assump1: Let's assume that the respirator is a Toxotidae.; sent15 & assump1 -> int1: the pogonip is Nicaean.; int1 & sent16 -> int2: the fact that the darner is Nicaean but not a malingerer is false.; sent19 -> int3: the darner does memorialize darner if that it is Nicaean and it is not a kind of a malingerer is not correct.; int2 & int3 -> int4: the darner does memorialize darner.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the respirator is a kind of a Toxotidae the darner does memorialize darner is not correct. ; $context$ = sent1: if the fact that the darner is Nicaean is not incorrect then the pogonip is a malingerer. sent2: if the fact that the sportswear is tensional but it is not Jain is not correct it is a kind of a toehold. sent3: the pogonip is a malingerer. sent4: if that something is Nicaean but it is not a malingerer is wrong then it is a Toxotidae. sent5: if the respirator is a kind of a malingerer then the darner is a Toxotidae. sent6: something is a kind of a Toxotidae if the fact that it is a kind of Nicaean thing that does not memorialize darner is not correct. sent7: if the fact that something is both a sifter and not a Erythroxylon is wrong then it is a kind of a poroporo. sent8: the formaldehyde memorializes darner. sent9: the respirator memorializes darner. sent10: the darner is a kind of a Galen. sent11: the fact that the Creole is a kind of a Melogale that is not azonal is false. sent12: the rundle is a kind of a malingerer. sent13: if something is not Nicaean it memorializes darner. sent14: the darner is a malingerer if the fact that it is both Nicaean and not a Toxotidae is not right. sent15: the pogonip is Nicaean if the respirator is a Toxotidae. sent16: that the darner is a kind of Nicaean thing that is not a malingerer does not hold if the pogonip is Nicaean. sent17: if the darner is not Nicaean it memorializes darner. sent18: the respirator is a pinfold. sent19: if the fact that something is a kind of Nicaean thing that is not a kind of a malingerer is not true it does memorialize darner. ; $proof$ = 
void -> assump1: Let's assume that the respirator is a Toxotidae.; sent15 & assump1 -> int1: the pogonip is Nicaean.; int1 & sent16 -> int2: the fact that the darner is Nicaean but not a malingerer is false.; sent19 -> int3: the darner does memorialize darner if that it is Nicaean and it is not a kind of a malingerer is not correct.; int2 & int3 -> int4: the darner does memorialize darner.; [assump1] & int4 -> hypothesis; __DISPROVED__