the planula is a hula-hoop and/or it is not a Georgetown.
sent1: that the Cyril is not non-Tyrolean and it is an ointment does not hold. sent2: the folate is not a hula-hoop if the quicklime is an accusative. sent3: the Cyril is Lusitanian. sent4: if something is a kind of a place-kicker then it is a doo-wop. sent5: if the planula is a Georgetown that it is a kind of a Tyrolean and it is not an accusative is not correct. sent6: the quicklime is postganglionic. sent7: if there exists something such that it is an ointment then the quicklime is a cat's-tail. sent8: the planula is a kind of an accusative and/or it is not a Georgetown if the quicklime is not a kind of an accusative. sent9: if something is a cat's-tail it is an accusative. sent10: if the folate is not a hula-hoop then the planula is a hula-hoop and/or it is not a Georgetown. sent11: the quicklime is a cat's-tail if there exists something such that the fact that it is not non-Tyrolean and it is not an ointment is wrong. sent12: the fact that the Cyril is a Tyrolean and it is a kind of an ointment is not correct if it is Lusitanian. sent13: the planula is not a cat's-tail. sent14: the planula is a kind of a hula-hoop or it is a Georgetown or both. sent15: the fact that the Cyril is both Tyrolean and not an ointment is not true if it is Lusitanian.
sent15 & sent3 -> int1: that the Cyril is Tyrolean and is not an ointment does not hold.; int1 -> int2: there exists something such that that it is Tyrolean but not an ointment is not right.; int2 & sent11 -> int3: the quicklime is a cat's-tail.; sent9 -> int4: if the quicklime is a cat's-tail then it is accusative.; int3 & int4 -> int5: the quicklime is not non-accusative.; int5 & sent2 -> int6: the folate is not a kind of a hula-hoop.; int6 & sent10 -> hypothesis;
$hypothesis$ = the planula is a hula-hoop and/or it is not a Georgetown. ; $context$ = sent1: that the Cyril is not non-Tyrolean and it is an ointment does not hold. sent2: the folate is not a hula-hoop if the quicklime is an accusative. sent3: the Cyril is Lusitanian. sent4: if something is a kind of a place-kicker then it is a doo-wop. sent5: if the planula is a Georgetown that it is a kind of a Tyrolean and it is not an accusative is not correct. sent6: the quicklime is postganglionic. sent7: if there exists something such that it is an ointment then the quicklime is a cat's-tail. sent8: the planula is a kind of an accusative and/or it is not a Georgetown if the quicklime is not a kind of an accusative. sent9: if something is a cat's-tail it is an accusative. sent10: if the folate is not a hula-hoop then the planula is a hula-hoop and/or it is not a Georgetown. sent11: the quicklime is a cat's-tail if there exists something such that the fact that it is not non-Tyrolean and it is not an ointment is wrong. sent12: the fact that the Cyril is a Tyrolean and it is a kind of an ointment is not correct if it is Lusitanian. sent13: the planula is not a cat's-tail. sent14: the planula is a kind of a hula-hoop or it is a Georgetown or both. sent15: the fact that the Cyril is both Tyrolean and not an ointment is not true if it is Lusitanian. ; $proof$ = 
sent15 & sent3 -> int1: that the Cyril is Tyrolean and is not an ointment does not hold.; int1 -> int2: there exists something such that that it is Tyrolean but not an ointment is not right.; int2 & sent11 -> int3: the quicklime is a cat's-tail.; sent9 -> int4: if the quicklime is a cat's-tail then it is accusative.; int3 & int4 -> int5: the quicklime is not non-accusative.; int5 & sent2 -> int6: the folate is not a kind of a hula-hoop.; int6 & sent10 -> hypothesis; __PROVED__