the Aquarius is senatorial.
sent1: if the guide is changeless then the fact that the confessional does bayonet hold. sent2: if the nick is not proud that the acylation is both perishable and not inaudible is not true. sent3: if something that is not cetacean is not a Vidal then it is non-senatorial. sent4: if that the acylation is both perishable and not inaudible does not hold it is not a Sardinian. sent5: the fact that the acylation is atonic and it is a translucence is incorrect if it is not a Sardinian. sent6: if the rose-root is not a Vidal that it is a dishtowel and pyrographic does not hold. sent7: if the Aquarius is not pyrographic that it is not a Vidal and is senatorial is not correct. sent8: something is both a sparkler and jihadi if it does not reprise Doppler. sent9: the guide is changeless. sent10: if the confessional is a alkalemia then the lycopene does reprise Doppler but it does not reprise confluence. sent11: the fact that the rose-root is not a kind of a Vidal hold. sent12: if the lycopene does reprise Doppler but it does not reprise confluence the rose-root does not reprise Doppler. sent13: if that the fact that the rose-root is not a dishtowel and is pyrographic is not correct is not false then the Aquarius is senatorial. sent14: if there is something such that that it is atonic and is a translucence does not hold the confessional is not a kind of a bulb. sent15: if something is not a kind of a bulb but it does bayonet it is a kind of a alkalemia. sent16: the fact that the nick is not proud is true. sent17: the fact that the fact that the Aquarius is not senatorial but it is pyrographic is not correct is true. sent18: if the fact that the rose-root is not a Vidal is right the fact that it is not a dishtowel and it is pyrographic is false. sent19: the fact that the rose-root is a dishtowel that is pyrographic is not right.
sent18 & sent11 -> int1: that the rose-root is not a dishtowel but it is pyrographic is not correct.; sent13 & int1 -> hypothesis;
the Aquarius is not senatorial.
sent3 -> int2: the Aquarius is not senatorial if it is not cetacean and not a Vidal.; sent8 -> int3: if the fact that the rose-root does not reprise Doppler is correct then it is a sparkler and is jihadi.; sent15 -> int4: the confessional is a alkalemia if it is not a bulb and it does bayonet.; sent2 & sent16 -> int5: the fact that the acylation is not imperishable but it is a kind of an audible is wrong.; sent4 & int5 -> int6: the acylation is not Sardinian.; sent5 & int6 -> int7: the fact that the acylation is atonic and it is a translucence does not hold.; int7 -> int8: there exists something such that the fact that it is atonic and a translucence is false.; int8 & sent14 -> int9: the confessional is not a bulb.; sent1 & sent9 -> int10: the confessional is a bayonet.; int9 & int10 -> int11: the confessional is not a bulb but it bayonets.; int4 & int11 -> int12: the confessional is a alkalemia.; sent10 & int12 -> int13: the lycopene does reprise Doppler and does not reprise confluence.; sent12 & int13 -> int14: the rose-root does not reprise Doppler.; int3 & int14 -> int15: the rose-root is a sparkler and it is jihadi.; int15 -> int16: the rose-root is jihadi.; int16 -> int17: there are jihadi things.;
$hypothesis$ = the Aquarius is senatorial. ; $context$ = sent1: if the guide is changeless then the fact that the confessional does bayonet hold. sent2: if the nick is not proud that the acylation is both perishable and not inaudible is not true. sent3: if something that is not cetacean is not a Vidal then it is non-senatorial. sent4: if that the acylation is both perishable and not inaudible does not hold it is not a Sardinian. sent5: the fact that the acylation is atonic and it is a translucence is incorrect if it is not a Sardinian. sent6: if the rose-root is not a Vidal that it is a dishtowel and pyrographic does not hold. sent7: if the Aquarius is not pyrographic that it is not a Vidal and is senatorial is not correct. sent8: something is both a sparkler and jihadi if it does not reprise Doppler. sent9: the guide is changeless. sent10: if the confessional is a alkalemia then the lycopene does reprise Doppler but it does not reprise confluence. sent11: the fact that the rose-root is not a kind of a Vidal hold. sent12: if the lycopene does reprise Doppler but it does not reprise confluence the rose-root does not reprise Doppler. sent13: if that the fact that the rose-root is not a dishtowel and is pyrographic is not correct is not false then the Aquarius is senatorial. sent14: if there is something such that that it is atonic and is a translucence does not hold the confessional is not a kind of a bulb. sent15: if something is not a kind of a bulb but it does bayonet it is a kind of a alkalemia. sent16: the fact that the nick is not proud is true. sent17: the fact that the fact that the Aquarius is not senatorial but it is pyrographic is not correct is true. sent18: if the fact that the rose-root is not a Vidal is right the fact that it is not a dishtowel and it is pyrographic is false. sent19: the fact that the rose-root is a dishtowel that is pyrographic is not right. ; $proof$ = 
sent18 & sent11 -> int1: that the rose-root is not a dishtowel but it is pyrographic is not correct.; sent13 & int1 -> hypothesis; __PROVED__