the animator is Anglo-catholic.
sent1: something is a kind of a nu if it does wobble. sent2: something is allomerous and not a paleology if it cheers. sent3: something is not a cheering if the fact that it is not a paleology and is allomerous is not right. sent4: the fact that the stonecress is not unreactive is right if something that does not mask bulrush is not a kind of a cyclist. sent5: there is something such that the fact that it is not a cheering is not false. sent6: something is not a put but trinucleate. sent7: the fiddlehead is a kind of a wobbler if the stonecress is Anglo-catholic. sent8: a wobbler is a navicular. sent9: if the gaffsail is a navicular then the animator is a kind of a wobbler. sent10: the fact that something is not a paleology but it is allomerous is incorrect if it is a navicular. sent11: if the gaffsail is a cheering it is a navicular. sent12: if something that is allomerous is not a paleology it is not Anglo-catholic. sent13: the stonecress is not a kind of a paleology if there exists something such that that it is not a put and is trinucleate is not correct. sent14: something is allomerous. sent15: the stonecress is not a kind of a nu. sent16: the fact that the stonecress is not a kind of a paleology but it cheers does not hold. sent17: the text does not mask staginess and it does not mask kibbutz. sent18: the gaffsail is a navicular if something is not a cheering but it is not non-allomerous. sent19: the fact that the stager is both not a put and trinucleate is false. sent20: if something is a nu it is a navicular. sent21: the text does not mask bulrush and it is not a kind of a cyclist if it does not mask staginess. sent22: the text is not a kind of a cheering and is allomerous if the stonecress is not a paleology. sent23: something is a cheering and is allomerous. sent24: if something is a nu then it is Anglo-catholic. sent25: there is something such that the fact that it is both a put and trinucleate is not right. sent26: if something is not unreactive it is Anglo-catholic or it is not a kind of a nu or both. sent27: the text is allomerous if the stonecress is not a paleology.
sent19 -> int1: there is something such that that it does not put and it is trinucleate is wrong.; int1 & sent13 -> int2: the stonecress is not a paleology.; int2 & sent22 -> int3: the text is both not a cheering and allomerous.; int3 -> int4: the fact that the fact that something is not a kind of a cheering but it is allomerous is correct is not wrong.; int4 & sent18 -> int5: the gaffsail is a navicular.; int5 & sent9 -> int6: the animator does wobble.; sent1 -> int7: if the animator is a kind of a wobbler it is a nu.; int6 & int7 -> int8: the animator is a kind of a nu.; sent24 -> int9: if the animator is a nu it is Anglo-catholic.; int8 & int9 -> hypothesis;
the animator is not Anglo-catholic.
sent12 -> int10: the animator is not Anglo-catholic if it is both allomerous and not a paleology.; sent2 -> int11: if the animator cheers then it is a kind of allomerous thing that is not a kind of a paleology.;
$hypothesis$ = the animator is Anglo-catholic. ; $context$ = sent1: something is a kind of a nu if it does wobble. sent2: something is allomerous and not a paleology if it cheers. sent3: something is not a cheering if the fact that it is not a paleology and is allomerous is not right. sent4: the fact that the stonecress is not unreactive is right if something that does not mask bulrush is not a kind of a cyclist. sent5: there is something such that the fact that it is not a cheering is not false. sent6: something is not a put but trinucleate. sent7: the fiddlehead is a kind of a wobbler if the stonecress is Anglo-catholic. sent8: a wobbler is a navicular. sent9: if the gaffsail is a navicular then the animator is a kind of a wobbler. sent10: the fact that something is not a paleology but it is allomerous is incorrect if it is a navicular. sent11: if the gaffsail is a cheering it is a navicular. sent12: if something that is allomerous is not a paleology it is not Anglo-catholic. sent13: the stonecress is not a kind of a paleology if there exists something such that that it is not a put and is trinucleate is not correct. sent14: something is allomerous. sent15: the stonecress is not a kind of a nu. sent16: the fact that the stonecress is not a kind of a paleology but it cheers does not hold. sent17: the text does not mask staginess and it does not mask kibbutz. sent18: the gaffsail is a navicular if something is not a cheering but it is not non-allomerous. sent19: the fact that the stager is both not a put and trinucleate is false. sent20: if something is a nu it is a navicular. sent21: the text does not mask bulrush and it is not a kind of a cyclist if it does not mask staginess. sent22: the text is not a kind of a cheering and is allomerous if the stonecress is not a paleology. sent23: something is a cheering and is allomerous. sent24: if something is a nu then it is Anglo-catholic. sent25: there is something such that the fact that it is both a put and trinucleate is not right. sent26: if something is not unreactive it is Anglo-catholic or it is not a kind of a nu or both. sent27: the text is allomerous if the stonecress is not a paleology. ; $proof$ = 
sent19 -> int1: there is something such that that it does not put and it is trinucleate is wrong.; int1 & sent13 -> int2: the stonecress is not a paleology.; int2 & sent22 -> int3: the text is both not a cheering and allomerous.; int3 -> int4: the fact that the fact that something is not a kind of a cheering but it is allomerous is correct is not wrong.; int4 & sent18 -> int5: the gaffsail is a navicular.; int5 & sent9 -> int6: the animator does wobble.; sent1 -> int7: if the animator is a kind of a wobbler it is a nu.; int6 & int7 -> int8: the animator is a kind of a nu.; sent24 -> int9: if the animator is a nu it is Anglo-catholic.; int8 & int9 -> hypothesis; __PROVED__