the liana is not agraphic.
sent1: the knockout does not spring-clean if there exists something such that the fact that it is a kind of an administrator and is agraphic is false. sent2: there exists something such that that it does displease and it leans knockout is incorrect. sent3: if the sprit is not a Palestinian the Modicon is agraphic or it does spring-clean or both. sent4: the knockout does not lean Physidae. sent5: the Modicon is not a Palestinian if something does not displease. sent6: the Modicon is not Palestinian if there exists something such that the fact that it does displease and does lean knockout is wrong. sent7: the Modicon is a kind of a Palestinian or it is agraphic or both if the liana is not an administrator. sent8: the fact that something either does spring-clean or is an administrator or both is false if it is not improper. sent9: the knockout does enfranchise cybercrime if the sprit does enfranchise cybercrime and/or is not a kind of a archduchy. sent10: there exists something such that it does displease and it does lean knockout. sent11: the sprit is nuclear and/or it is a kind of a Palestinian if the knockout does not spring-clean. sent12: either the sprit enfranchises cybercrime or it is not a archduchy or both. sent13: if the knockout is not non-nuclear then that the sprit does spring-clean is not incorrect. sent14: something is not improper if it does park and is immaterial. sent15: the explorer does not lean preemption. sent16: that if the Modicon is not a Palestinian the knockout either is nuclear or is an administrator or both hold. sent17: if the knockout is nuclear then the liana is a kind of an administrator. sent18: that the Modicon is not agraphic is right if there is something such that the fact that it is nuclear and it is Palestinian does not hold. sent19: the Modicon does not spring-clean if there is something such that it is not a kind of a Palestinian. sent20: if that the knockout spring-cleans or is a kind of an administrator or both does not hold the Modicon is not a kind of an administrator. sent21: the fact that if the liana does spring-clean that the sprit is a kind of agraphic thing that is not an administrator is not right is not incorrect. sent22: the liana is agraphic if the Modicon is a kind of a Palestinian. sent23: the sprit does spring-clean if the knockout is a kind of an administrator. sent24: if the sprit spring-cleans the liana is not agraphic. sent25: the Modicon is not nuclear. sent26: something is a park if that it does enfranchise cybercrime is right.
sent2 & sent6 -> int1: the Modicon is not a kind of a Palestinian.; sent16 & int1 -> int2: the knockout is nuclear or it is a kind of an administrator or both.; int2 & sent13 & sent23 -> int3: the sprit spring-cleans.; sent24 & int3 -> hypothesis;
that the liana is agraphic is right.
sent8 -> int4: the fact that the knockout either does spring-clean or is an administrator or both is incorrect if it is not improper.; sent14 -> int5: the knockout is not improper if it is a park and it is immaterial.; sent26 -> int6: the fact that the knockout parks is not incorrect if it does enfranchise cybercrime.; sent9 & sent12 -> int7: the knockout enfranchises cybercrime.; int6 & int7 -> int8: the knockout parks.;
$hypothesis$ = the liana is not agraphic. ; $context$ = sent1: the knockout does not spring-clean if there exists something such that the fact that it is a kind of an administrator and is agraphic is false. sent2: there exists something such that that it does displease and it leans knockout is incorrect. sent3: if the sprit is not a Palestinian the Modicon is agraphic or it does spring-clean or both. sent4: the knockout does not lean Physidae. sent5: the Modicon is not a Palestinian if something does not displease. sent6: the Modicon is not Palestinian if there exists something such that the fact that it does displease and does lean knockout is wrong. sent7: the Modicon is a kind of a Palestinian or it is agraphic or both if the liana is not an administrator. sent8: the fact that something either does spring-clean or is an administrator or both is false if it is not improper. sent9: the knockout does enfranchise cybercrime if the sprit does enfranchise cybercrime and/or is not a kind of a archduchy. sent10: there exists something such that it does displease and it does lean knockout. sent11: the sprit is nuclear and/or it is a kind of a Palestinian if the knockout does not spring-clean. sent12: either the sprit enfranchises cybercrime or it is not a archduchy or both. sent13: if the knockout is not non-nuclear then that the sprit does spring-clean is not incorrect. sent14: something is not improper if it does park and is immaterial. sent15: the explorer does not lean preemption. sent16: that if the Modicon is not a Palestinian the knockout either is nuclear or is an administrator or both hold. sent17: if the knockout is nuclear then the liana is a kind of an administrator. sent18: that the Modicon is not agraphic is right if there is something such that the fact that it is nuclear and it is Palestinian does not hold. sent19: the Modicon does not spring-clean if there is something such that it is not a kind of a Palestinian. sent20: if that the knockout spring-cleans or is a kind of an administrator or both does not hold the Modicon is not a kind of an administrator. sent21: the fact that if the liana does spring-clean that the sprit is a kind of agraphic thing that is not an administrator is not right is not incorrect. sent22: the liana is agraphic if the Modicon is a kind of a Palestinian. sent23: the sprit does spring-clean if the knockout is a kind of an administrator. sent24: if the sprit spring-cleans the liana is not agraphic. sent25: the Modicon is not nuclear. sent26: something is a park if that it does enfranchise cybercrime is right. ; $proof$ = 
sent2 & sent6 -> int1: the Modicon is not a kind of a Palestinian.; sent16 & int1 -> int2: the knockout is nuclear or it is a kind of an administrator or both.; int2 & sent13 & sent23 -> int3: the sprit spring-cleans.; sent24 & int3 -> hypothesis; __PROVED__