the fistula is unitary or it urinates or both.
sent1: the fact that the teju does not roughen priesthood or is not younger or both is right if there exists something such that it does not roughen priesthood. sent2: the fact that something does not skid calcification if it does not roughen priesthood is true. sent3: if something is not a Ailurus it is unitary. sent4: if that something is a Ailurus but it is not a kind of an angiotensin is wrong then it is unitary. sent5: if the fistula does not urinate then the mealie is both unitary and eugenic. sent6: the fact that the fact that the agate is a kind of a tachylite but it does not skid calcification is false is correct if the teju is not younger. sent7: the fistula is non-eugenic. sent8: if the fact that the terminal is both a begum and not ventilatory is false then it is a lari. sent9: the agate is eugenic if the teju is both not eugenic and a tachylite. sent10: if the fact that the lanthanum does skid turbogenerator and is not unitary is not correct then it is a kind of a dihybrid. sent11: the fistula is unitary if it is not a Ailurus. sent12: if something is not younger then it does not skid calcification. sent13: if something does not skid calcification then it is non-eugenic thing that is a tachylite. sent14: something does not roughen priesthood if that it is not anabiotic and it does roughen priesthood is wrong. sent15: that the peanut is not anabiotic and roughens priesthood does not hold. sent16: the fistula is Shavian.
sent4 -> int1: the fistula is unitary if the fact that it is a Ailurus and it is not an angiotensin is wrong.;
that the fistula either is unitary or does urinate or both is not true.
sent13 -> int2: if the teju does not skid calcification it is not eugenic but a tachylite.; sent14 -> int3: the peanut does not roughen priesthood if that it is non-anabiotic thing that roughen priesthood does not hold.; int3 & sent15 -> int4: the peanut does not roughen priesthood.; int4 -> int5: something does not roughen priesthood.; int5 & sent1 -> int6: either the teju does not roughen priesthood or it is non-younger or both.; sent2 -> int7: if the teju does not roughen priesthood then it does not skid calcification.; sent12 -> int8: if the teju is not younger then that it does not skid calcification hold.; int6 & int7 & int8 -> int9: the teju does not skid calcification.; int2 & int9 -> int10: the teju is both not eugenic and a tachylite.; sent9 & int10 -> int11: the agate is eugenic.; int11 -> int12: there is something such that it is eugenic.;
$hypothesis$ = the fistula is unitary or it urinates or both. ; $context$ = sent1: the fact that the teju does not roughen priesthood or is not younger or both is right if there exists something such that it does not roughen priesthood. sent2: the fact that something does not skid calcification if it does not roughen priesthood is true. sent3: if something is not a Ailurus it is unitary. sent4: if that something is a Ailurus but it is not a kind of an angiotensin is wrong then it is unitary. sent5: if the fistula does not urinate then the mealie is both unitary and eugenic. sent6: the fact that the fact that the agate is a kind of a tachylite but it does not skid calcification is false is correct if the teju is not younger. sent7: the fistula is non-eugenic. sent8: if the fact that the terminal is both a begum and not ventilatory is false then it is a lari. sent9: the agate is eugenic if the teju is both not eugenic and a tachylite. sent10: if the fact that the lanthanum does skid turbogenerator and is not unitary is not correct then it is a kind of a dihybrid. sent11: the fistula is unitary if it is not a Ailurus. sent12: if something is not younger then it does not skid calcification. sent13: if something does not skid calcification then it is non-eugenic thing that is a tachylite. sent14: something does not roughen priesthood if that it is not anabiotic and it does roughen priesthood is wrong. sent15: that the peanut is not anabiotic and roughens priesthood does not hold. sent16: the fistula is Shavian. ; $proof$ = 
sent4 -> int1: the fistula is unitary if the fact that it is a Ailurus and it is not an angiotensin is wrong.; __UNKNOWN__