that the postern beckons Citellus but it is not a kind of a Vespertilionidae is wrong if the fishpaste is gutsy.
sent1: if the postern is a kind of a Vespertilionidae then it is macrobiotics. sent2: that the postern beckons Citellus and it is a kind of a Vespertilionidae is wrong. sent3: if the fishpaste is gutsy the fact that the postern is both a Vespertilionidae and not macrobiotics is not correct. sent4: the fact that the fishpaste is both malicious and not a kirk does not hold. sent5: that the fishpaste beckons Citellus and is not an eddy is false. sent6: if the postern is gutsy then that the fishpaste is not non-macrobiotics but it does not beckon Citellus is incorrect. sent7: that the postern beckons Citellus and is a Vespertilionidae is not true if the fishpaste is gutsy. sent8: the fact that the fishpaste is a neuroscientist hold. sent9: if the postern is gutsy then it is a Vespertilionidae. sent10: the postern beckons Citellus and is not a kind of a Vespertilionidae. sent11: the postern beckons Citellus and is not a kind of a Vespertilionidae if the fact that the fishpaste is gutsy is true. sent12: if the fishpaste is gutsy it is macrobiotics. sent13: if the postern is macrobiotics that the fishpaste does beckon Citellus but it is not gutsy does not hold. sent14: that the fact that the fishpaste is both a Vespertilionidae and not gutsy hold is wrong. sent15: if the fishpaste is macrobiotics the postern beckons Citellus but it is not a kind of a Vespertilionidae. sent16: the fact that the postern beckons Citellus and is a Vespertilionidae does not hold if the fishpaste is macrobiotics. sent17: the buttinsky beckons Citellus. sent18: if the fishpaste does beckon Citellus that the postern is macrobiotics but it is not a Vespertilionidae is not true. sent19: the hermit is a Vespertilionidae.
void -> assump1: Let's assume that the fishpaste is gutsy.; sent12 & assump1 -> int1: the fishpaste is macrobiotics.;
$hypothesis$ = that the postern beckons Citellus but it is not a kind of a Vespertilionidae is wrong if the fishpaste is gutsy. ; $context$ = sent1: if the postern is a kind of a Vespertilionidae then it is macrobiotics. sent2: that the postern beckons Citellus and it is a kind of a Vespertilionidae is wrong. sent3: if the fishpaste is gutsy the fact that the postern is both a Vespertilionidae and not macrobiotics is not correct. sent4: the fact that the fishpaste is both malicious and not a kirk does not hold. sent5: that the fishpaste beckons Citellus and is not an eddy is false. sent6: if the postern is gutsy then that the fishpaste is not non-macrobiotics but it does not beckon Citellus is incorrect. sent7: that the postern beckons Citellus and is a Vespertilionidae is not true if the fishpaste is gutsy. sent8: the fact that the fishpaste is a neuroscientist hold. sent9: if the postern is gutsy then it is a Vespertilionidae. sent10: the postern beckons Citellus and is not a kind of a Vespertilionidae. sent11: the postern beckons Citellus and is not a kind of a Vespertilionidae if the fact that the fishpaste is gutsy is true. sent12: if the fishpaste is gutsy it is macrobiotics. sent13: if the postern is macrobiotics that the fishpaste does beckon Citellus but it is not gutsy does not hold. sent14: that the fact that the fishpaste is both a Vespertilionidae and not gutsy hold is wrong. sent15: if the fishpaste is macrobiotics the postern beckons Citellus but it is not a kind of a Vespertilionidae. sent16: the fact that the postern beckons Citellus and is a Vespertilionidae does not hold if the fishpaste is macrobiotics. sent17: the buttinsky beckons Citellus. sent18: if the fishpaste does beckon Citellus that the postern is macrobiotics but it is not a Vespertilionidae is not true. sent19: the hermit is a Vespertilionidae. ; $proof$ = 
void -> assump1: Let's assume that the fishpaste is gutsy.; sent12 & assump1 -> int1: the fishpaste is macrobiotics.; __UNKNOWN__