the nunnery is a tutsan.
sent1: the fact that the tolazamide is not a phonebook and does not hunger ironing does not hold if the infielder does hunger ironing. sent2: if the heartleaf does not blinker hagiographer then the infielder is Benedictine and it does hunger ironing. sent3: the heartleaf does not blinker hagiographer if that it does not outstay and is anginal is not true. sent4: the hagiographer does not stiffen. sent5: that the heartleaf does outstay and is anginal is not correct. sent6: that the tolazamide is a phonebook that does not hunger ironing is wrong. sent7: the infielder does blinker hagiographer or it is not a Benedictine or both if the tolazamide is not a phonebook. sent8: there is something such that the fact that it is soteriological and it is a kind of a sensitometer does not hold. sent9: if the hagiographer is soteriological that the bottle-tree is not a sensitometer and does not orchestrate bosk is not true. sent10: if the heartleaf does outstay it does not blinker hagiographer. sent11: if something does hunger ironing and blinkers hagiographer then it is not a kind of a tutsan. sent12: if there exists something such that the fact that it is not a sensitometer and it does not orchestrate bosk is not correct then the tolazamide is not a phonebook. sent13: the fact that if the heartleaf does not hunger ironing and is a tutsan then the nunnery is not a kind of a tutsan is not false. sent14: the fact that the bottle-tree is a sensitometer is correct if the fact that the tolazamide is not a phonebook and does not hunger ironing does not hold. sent15: the infielder is a Benedictine if the heartleaf does not blinker hagiographer. sent16: the infielder is a kind of a Benedictine. sent17: the tolazamide does outstay. sent18: if the nunnery is not a tutsan then the fact that the heartleaf does not outstay but it is anginal is not correct. sent19: the hagiographer is a kind of soteriological thing that is a tap if it does not stiffen. sent20: if the infielder hungers ironing then the fact that the tolazamide is a kind of a phonebook that does not hungers ironing is incorrect. sent21: the bottle-tree is not a sensitometer if there exists something such that that it is not soteriological is not false.
void -> assump1: Let's assume that the nunnery is not a kind of a tutsan.; sent18 & assump1 -> int1: that the heartleaf does not outstay and is anginal does not hold.; int1 & sent3 -> int2: the heartleaf does not blinker hagiographer.; int2 & sent2 -> int3: the infielder is a Benedictine that hungers ironing.; int3 -> int4: the infielder hungers ironing.; int4 & sent1 -> int5: the fact that the tolazamide is not a phonebook and does not hunger ironing is not true.; int5 & sent14 -> int6: the bottle-tree is a sensitometer.;
the nunnery is not a tutsan.
sent19 & sent4 -> int7: the hagiographer is not non-soteriological and is a kind of a tap.; int7 -> int8: that the hagiographer is soteriological hold.; sent9 & int8 -> int9: that the bottle-tree is not a sensitometer and it does not orchestrate bosk does not hold.; int9 -> int10: there is something such that the fact that it is not a sensitometer and it does not orchestrate bosk is incorrect.; int10 & sent12 -> int11: the tolazamide is not a phonebook.; sent7 & int11 -> int12: the infielder does blinker hagiographer or it is not Benedictine or both.; int12 -> int13: there exists something such that it does blinker hagiographer and/or it is not a Benedictine.;
$hypothesis$ = the nunnery is a tutsan. ; $context$ = sent1: the fact that the tolazamide is not a phonebook and does not hunger ironing does not hold if the infielder does hunger ironing. sent2: if the heartleaf does not blinker hagiographer then the infielder is Benedictine and it does hunger ironing. sent3: the heartleaf does not blinker hagiographer if that it does not outstay and is anginal is not true. sent4: the hagiographer does not stiffen. sent5: that the heartleaf does outstay and is anginal is not correct. sent6: that the tolazamide is a phonebook that does not hunger ironing is wrong. sent7: the infielder does blinker hagiographer or it is not a Benedictine or both if the tolazamide is not a phonebook. sent8: there is something such that the fact that it is soteriological and it is a kind of a sensitometer does not hold. sent9: if the hagiographer is soteriological that the bottle-tree is not a sensitometer and does not orchestrate bosk is not true. sent10: if the heartleaf does outstay it does not blinker hagiographer. sent11: if something does hunger ironing and blinkers hagiographer then it is not a kind of a tutsan. sent12: if there exists something such that the fact that it is not a sensitometer and it does not orchestrate bosk is not correct then the tolazamide is not a phonebook. sent13: the fact that if the heartleaf does not hunger ironing and is a tutsan then the nunnery is not a kind of a tutsan is not false. sent14: the fact that the bottle-tree is a sensitometer is correct if the fact that the tolazamide is not a phonebook and does not hunger ironing does not hold. sent15: the infielder is a Benedictine if the heartleaf does not blinker hagiographer. sent16: the infielder is a kind of a Benedictine. sent17: the tolazamide does outstay. sent18: if the nunnery is not a tutsan then the fact that the heartleaf does not outstay but it is anginal is not correct. sent19: the hagiographer is a kind of soteriological thing that is a tap if it does not stiffen. sent20: if the infielder hungers ironing then the fact that the tolazamide is a kind of a phonebook that does not hungers ironing is incorrect. sent21: the bottle-tree is not a sensitometer if there exists something such that that it is not soteriological is not false. ; $proof$ = 
void -> assump1: Let's assume that the nunnery is not a kind of a tutsan.; sent18 & assump1 -> int1: that the heartleaf does not outstay and is anginal does not hold.; int1 & sent3 -> int2: the heartleaf does not blinker hagiographer.; int2 & sent2 -> int3: the infielder is a Benedictine that hungers ironing.; int3 -> int4: the infielder hungers ironing.; int4 & sent1 -> int5: the fact that the tolazamide is not a phonebook and does not hunger ironing is not true.; int5 & sent14 -> int6: the bottle-tree is a sensitometer.; __UNKNOWN__