the bugbane is schizophrenic.
sent1: The ally perceives coelogyne. sent2: that the bugbane does perceive ally and is not a kind of a schizophrenic is wrong. sent3: the fact that the coelogyne is not a kind of a nuisance and does not exalt Cybele does not hold. sent4: the coelogyne exalts Cybele if the fact that it is a kind of a schizophrenic is not wrong. sent5: the bugbane does perceive bugbane if there exists something such that that it does not exalt Cybele and it does not perceive ally is not correct. sent6: there exists something such that the fact that it does not perceive ally and is a schizophrenic is not true. sent7: the bugbane is a kind of a schizophrenic if it perceives bugbane. sent8: that the coelogyne does not exalt Cybele and does not perceive bugbane is not correct. sent9: the coelogyne does perceive ally if there is something such that that it does not exalt Cybele and it is not schizophrenic does not hold. sent10: that the coelogyne does not perceive bugbane and does not perceive ally is incorrect. sent11: the coelogyne perceives ally. sent12: there is something such that that it does exalt Cybele and does not perceive bugbane is not true. sent13: the coelogyne is a schizophrenic if there exists something such that that it does not exalt Cybele and it does not perceive ally does not hold. sent14: something does not exalt Cybele and it does not perceive ally. sent15: the fact that the coelogyne does not exalt Cybele and does perceive ally is not right. sent16: there exists something such that that it does exalt Cybele and does not perceive ally is false. sent17: the bugbane is a kind of a woodwork. sent18: the bugbane does not exalt Cybele. sent19: the foreshock is not a schizophrenic and it is not a Hymenanthera.
void -> assump1: Let's assume that the coelogyne does not exalt Cybele and it does not perceive ally.; assump1 -> int1: the coelogyne does not perceive ally.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the coelogyne does not exalt Cybele and it does not perceive ally is not right.; int3 -> int4: there is something such that the fact that it does not exalt Cybele and does not perceive ally does not hold.; int4 & sent5 -> int5: the bugbane does perceive bugbane.; int5 & sent7 -> hypothesis;
$hypothesis$ = the bugbane is schizophrenic. ; $context$ = sent1: The ally perceives coelogyne. sent2: that the bugbane does perceive ally and is not a kind of a schizophrenic is wrong. sent3: the fact that the coelogyne is not a kind of a nuisance and does not exalt Cybele does not hold. sent4: the coelogyne exalts Cybele if the fact that it is a kind of a schizophrenic is not wrong. sent5: the bugbane does perceive bugbane if there exists something such that that it does not exalt Cybele and it does not perceive ally is not correct. sent6: there exists something such that the fact that it does not perceive ally and is a schizophrenic is not true. sent7: the bugbane is a kind of a schizophrenic if it perceives bugbane. sent8: that the coelogyne does not exalt Cybele and does not perceive bugbane is not correct. sent9: the coelogyne does perceive ally if there is something such that that it does not exalt Cybele and it is not schizophrenic does not hold. sent10: that the coelogyne does not perceive bugbane and does not perceive ally is incorrect. sent11: the coelogyne perceives ally. sent12: there is something such that that it does exalt Cybele and does not perceive bugbane is not true. sent13: the coelogyne is a schizophrenic if there exists something such that that it does not exalt Cybele and it does not perceive ally does not hold. sent14: something does not exalt Cybele and it does not perceive ally. sent15: the fact that the coelogyne does not exalt Cybele and does perceive ally is not right. sent16: there exists something such that that it does exalt Cybele and does not perceive ally is false. sent17: the bugbane is a kind of a woodwork. sent18: the bugbane does not exalt Cybele. sent19: the foreshock is not a schizophrenic and it is not a Hymenanthera. ; $proof$ = 
void -> assump1: Let's assume that the coelogyne does not exalt Cybele and it does not perceive ally.; assump1 -> int1: the coelogyne does not perceive ally.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the coelogyne does not exalt Cybele and it does not perceive ally is not right.; int3 -> int4: there is something such that the fact that it does not exalt Cybele and does not perceive ally does not hold.; int4 & sent5 -> int5: the bugbane does perceive bugbane.; int5 & sent7 -> hypothesis; __PROVED__