the fact that the brattice does not tip flighted but it is a wicket-keeper is not right if the codlins-and-cream is tegular.
sent1: the alkylbenzenesulfonate does not flake unpermissiveness. sent2: the codlins-and-cream is a Globigerinidae. sent3: if the codlins-and-cream is tegular and tips flighted then it does not shrivel. sent4: that the codlins-and-cream is a kind of a wicket-keeper and is probabilistic is false. sent5: the fug is probabilistic. sent6: that the brattice is probabilistic and it tips flighted does not hold. sent7: if the codlins-and-cream is probabilistic but it does not hurl it does not shrivel. sent8: the alkylbenzenesulfonate is probabilistic. sent9: the fact that the alkylbenzenesulfonate is a kind of tegular thing that shrivels is wrong. sent10: if the codlins-and-cream does tip flighted the fact that the brattice is a kind of non-probabilistic a wicket-keeper is false. sent11: the codlins-and-cream is a hurl but not probabilistic if the alkylbenzenesulfonate does shrivel. sent12: the codlins-and-cream is non-tegular if it is a hurl and it is not probabilistic. sent13: the fact that the brattice does not tip flighted but it is a kind of a wicket-keeper is not correct if the alkylbenzenesulfonate does not shrivel. sent14: if the brattice shrivels and is non-probabilistic then it is not a wicket-keeper. sent15: if the codlins-and-cream is not a hurl the fact that that the brattice shrivels and it is a wicket-keeper is right does not hold. sent16: the brattice does shrivel. sent17: the fact that the fact that the codlins-and-cream does not shrivel and is tegular does not hold is not false. sent18: the alkylbenzenesulfonate is not a hurl. sent19: if the brattice hurls but it does not tip flighted then it is probabilistic. sent20: the codlins-and-cream is a nipple. sent21: that the codlins-and-cream does tip flighted and is tegular does not hold if the alkylbenzenesulfonate does shrivel.
void -> assump2: Let's assume that the alkylbenzenesulfonate does shrivel.; sent11 & assump2 -> int1: the codlins-and-cream is a kind of a hurl but it is not probabilistic.; int1 & sent12 -> int2: the codlins-and-cream is not tegular.; void -> assump1: Let's assume that the codlins-and-cream is tegular.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the alkylbenzenesulfonate does not shrivel.; int4 & sent13 -> int5: that the brattice does not tip flighted and is a wicket-keeper does not hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the brattice does not tip flighted but it is a wicket-keeper is not right if the codlins-and-cream is tegular. ; $context$ = sent1: the alkylbenzenesulfonate does not flake unpermissiveness. sent2: the codlins-and-cream is a Globigerinidae. sent3: if the codlins-and-cream is tegular and tips flighted then it does not shrivel. sent4: that the codlins-and-cream is a kind of a wicket-keeper and is probabilistic is false. sent5: the fug is probabilistic. sent6: that the brattice is probabilistic and it tips flighted does not hold. sent7: if the codlins-and-cream is probabilistic but it does not hurl it does not shrivel. sent8: the alkylbenzenesulfonate is probabilistic. sent9: the fact that the alkylbenzenesulfonate is a kind of tegular thing that shrivels is wrong. sent10: if the codlins-and-cream does tip flighted the fact that the brattice is a kind of non-probabilistic a wicket-keeper is false. sent11: the codlins-and-cream is a hurl but not probabilistic if the alkylbenzenesulfonate does shrivel. sent12: the codlins-and-cream is non-tegular if it is a hurl and it is not probabilistic. sent13: the fact that the brattice does not tip flighted but it is a kind of a wicket-keeper is not correct if the alkylbenzenesulfonate does not shrivel. sent14: if the brattice shrivels and is non-probabilistic then it is not a wicket-keeper. sent15: if the codlins-and-cream is not a hurl the fact that that the brattice shrivels and it is a wicket-keeper is right does not hold. sent16: the brattice does shrivel. sent17: the fact that the fact that the codlins-and-cream does not shrivel and is tegular does not hold is not false. sent18: the alkylbenzenesulfonate is not a hurl. sent19: if the brattice hurls but it does not tip flighted then it is probabilistic. sent20: the codlins-and-cream is a nipple. sent21: that the codlins-and-cream does tip flighted and is tegular does not hold if the alkylbenzenesulfonate does shrivel. ; $proof$ = 
void -> assump2: Let's assume that the alkylbenzenesulfonate does shrivel.; sent11 & assump2 -> int1: the codlins-and-cream is a kind of a hurl but it is not probabilistic.; int1 & sent12 -> int2: the codlins-and-cream is not tegular.; void -> assump1: Let's assume that the codlins-and-cream is tegular.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the alkylbenzenesulfonate does not shrivel.; int4 & sent13 -> int5: that the brattice does not tip flighted and is a wicket-keeper does not hold.; [assump1] & int5 -> hypothesis; __PROVED__