the proconsul is both not non-dacitic and non-proteinaceous.
sent1: something that is not a Lanai or queues trichloride or both is not a Lanai. sent2: the neolith is dacitic if the fact that that the proconsul is not orthographic and it is not proteinaceous is wrong is right. sent3: if the dacryocyst blinkers goddess then the proconsul is not proteinaceous. sent4: something is not a Lanai and/or queues trichloride if the fact that it queues custom-made is not incorrect. sent5: the fact that the neolith is not atonic and it is not orthographic is not correct. sent6: the fact that if the neolith is dacitic the proconsul is orthographic but it is not atonic is not incorrect. sent7: if there is something such that that it is hateful and does not queue custom-made is wrong then the quillwort queue custom-made. sent8: if the proconsul does blinker goddess then the dacryocyst is proteinaceous. sent9: the dacryocyst is not a kind of a Tai if the technician does not knot bishop but it is a Tai. sent10: there exists something such that the fact that it is hateful and does not queue custom-made is not right. sent11: the proconsul is not proteinaceous. sent12: that the neolith is atonic but it is not orthographic does not hold. sent13: the fact that something either queues hydromel or blinkers goddess or both is incorrect if it is not a Tai. sent14: the fact that the proconsul is dacitic but it is not proteinaceous is wrong if the neolith does not blinker goddess. sent15: if that the neolith is not atonic and it is not orthographic does not hold then the dacryocyst blinkers goddess. sent16: the fact that something queues collotype but it is not busy does not hold if it is not a kind of a Lanai. sent17: the proconsul is orthographic if the neolith is proteinaceous. sent18: if something is not a Giraudoux it does not knot bishop and it is a kind of a Tai. sent19: the neolith is dacitic. sent20: that the neolith is non-dacitic and non-orthographic is incorrect. sent21: the neolith does not blinker goddess if that the dacryocyst does queue hydromel or it blinker goddess or both does not hold.
sent15 & sent5 -> int1: the dacryocyst does blinker goddess.;
the fact that the proconsul is dacitic and is not proteinaceous is not correct.
sent13 -> int2: if the fact that the dacryocyst is not a kind of a Tai is true then the fact that it does queue hydromel and/or it does blinker goddess does not hold.; sent18 -> int3: that the technician does not knot bishop but it is the Tai if the technician is not a kind of a Giraudoux hold.; sent16 -> int4: if the quillwort is not a Lanai then the fact that the fact that it queues collotype and it does not busy hold is not true.; sent1 -> int5: the quillwort is not a Lanai if it is not a Lanai or queues trichloride or both.; sent4 -> int6: the quillwort is not a kind of a Lanai or queues trichloride or both if it queues custom-made.; sent10 & sent7 -> int7: the fact that the quillwort queues custom-made hold.; int6 & int7 -> int8: the quillwort is not a Lanai and/or does queue trichloride.; int5 & int8 -> int9: the quillwort is not a Lanai.; int4 & int9 -> int10: the fact that the quillwort does queue collotype but it is not busy does not hold.; int10 -> int11: there is something such that the fact that it queues collotype and does not busy is false.;
$hypothesis$ = the proconsul is both not non-dacitic and non-proteinaceous. ; $context$ = sent1: something that is not a Lanai or queues trichloride or both is not a Lanai. sent2: the neolith is dacitic if the fact that that the proconsul is not orthographic and it is not proteinaceous is wrong is right. sent3: if the dacryocyst blinkers goddess then the proconsul is not proteinaceous. sent4: something is not a Lanai and/or queues trichloride if the fact that it queues custom-made is not incorrect. sent5: the fact that the neolith is not atonic and it is not orthographic is not correct. sent6: the fact that if the neolith is dacitic the proconsul is orthographic but it is not atonic is not incorrect. sent7: if there is something such that that it is hateful and does not queue custom-made is wrong then the quillwort queue custom-made. sent8: if the proconsul does blinker goddess then the dacryocyst is proteinaceous. sent9: the dacryocyst is not a kind of a Tai if the technician does not knot bishop but it is a Tai. sent10: there exists something such that the fact that it is hateful and does not queue custom-made is not right. sent11: the proconsul is not proteinaceous. sent12: that the neolith is atonic but it is not orthographic does not hold. sent13: the fact that something either queues hydromel or blinkers goddess or both is incorrect if it is not a Tai. sent14: the fact that the proconsul is dacitic but it is not proteinaceous is wrong if the neolith does not blinker goddess. sent15: if that the neolith is not atonic and it is not orthographic does not hold then the dacryocyst blinkers goddess. sent16: the fact that something queues collotype but it is not busy does not hold if it is not a kind of a Lanai. sent17: the proconsul is orthographic if the neolith is proteinaceous. sent18: if something is not a Giraudoux it does not knot bishop and it is a kind of a Tai. sent19: the neolith is dacitic. sent20: that the neolith is non-dacitic and non-orthographic is incorrect. sent21: the neolith does not blinker goddess if that the dacryocyst does queue hydromel or it blinker goddess or both does not hold. ; $proof$ = 
sent15 & sent5 -> int1: the dacryocyst does blinker goddess.; __UNKNOWN__