the lazuli does not redirect Fungia and/or is a catostomid.
sent1: the fact that something does not redirect Fungia and/or is a kind of a catostomid is wrong if it is a songbird. sent2: the lazuli does not redirect Fungia and/or is a catostomid if the Appalachians does redirect Fungia. sent3: the dibranchiate is not a songbird if the hyssop is not a kind of a dirk and vitriols lazuli. sent4: the dibranchiate does not vitriol lazuli if the hyssop is a songbird. sent5: the hyssop does not traffic Chesterfield and is not a dirk. sent6: the herald is not lumbar if the dibranchiate does not vitriol lazuli and is not a songbird. sent7: if something is an attar then the dibranchiate is not a kind of a Esocidae and is not a kind of a spur. sent8: the herald is not a kind of a Porphyrio. sent9: the lazuli is a songbird if it is a trillion. sent10: the herald is an attar and is a kind of a mummery if it is not a kind of a Porphyrio. sent11: if the dibranchiate is not a Esocidae that the hyssop is non-lumbar thing that does not vitriol lazuli is not correct. sent12: the dibranchiate does not vitriol lazuli. sent13: the dibranchiate is a dirk if it does not redirect Fungia and it vitriols lazuli. sent14: there is something such that it is lumbar. sent15: if the hyssop is a songbird the dibranchiate does not vitriol lazuli and is not a kind of a songbird. sent16: if the dibranchiate does vitriol lazuli but it is not a kind of a songbird that the herald is not lumbar is right. sent17: the hyssop does not traffic Chesterfield. sent18: if there exists something such that it is not lumbar the Appalachians is a kind of a Esocidae. sent19: the Appalachians redirects Fungia and is a Esocidae if that there are non-lumbar things is not incorrect. sent20: the hyssop is a kind of a trillion if it does not traffic Chesterfield and it is not a kind of a dirk.
sent20 & sent5 -> int1: the hyssop is a trillion.;
the fact that the lazuli does not redirect Fungia or it is a kind of a catostomid or both is incorrect.
sent1 -> int2: if the lazuli is a songbird the fact that either it does not redirect Fungia or it is a catostomid or both does not hold.; sent10 & sent8 -> int3: the herald is a kind of an attar that is a mummery.; int3 -> int4: the herald is an attar.; int4 -> int5: there is something such that it is an attar.; int5 & sent7 -> int6: the dibranchiate is not a Esocidae and not a spur.; int6 -> int7: the dibranchiate is not a Esocidae.; sent11 & int7 -> int8: the fact that the hyssop is non-lumbar and does not vitriol lazuli does not hold.; int8 -> int9: there is something such that that it is a kind of non-lumbar thing that does not vitriol lazuli is not right.;
$hypothesis$ = the lazuli does not redirect Fungia and/or is a catostomid. ; $context$ = sent1: the fact that something does not redirect Fungia and/or is a kind of a catostomid is wrong if it is a songbird. sent2: the lazuli does not redirect Fungia and/or is a catostomid if the Appalachians does redirect Fungia. sent3: the dibranchiate is not a songbird if the hyssop is not a kind of a dirk and vitriols lazuli. sent4: the dibranchiate does not vitriol lazuli if the hyssop is a songbird. sent5: the hyssop does not traffic Chesterfield and is not a dirk. sent6: the herald is not lumbar if the dibranchiate does not vitriol lazuli and is not a songbird. sent7: if something is an attar then the dibranchiate is not a kind of a Esocidae and is not a kind of a spur. sent8: the herald is not a kind of a Porphyrio. sent9: the lazuli is a songbird if it is a trillion. sent10: the herald is an attar and is a kind of a mummery if it is not a kind of a Porphyrio. sent11: if the dibranchiate is not a Esocidae that the hyssop is non-lumbar thing that does not vitriol lazuli is not correct. sent12: the dibranchiate does not vitriol lazuli. sent13: the dibranchiate is a dirk if it does not redirect Fungia and it vitriols lazuli. sent14: there is something such that it is lumbar. sent15: if the hyssop is a songbird the dibranchiate does not vitriol lazuli and is not a kind of a songbird. sent16: if the dibranchiate does vitriol lazuli but it is not a kind of a songbird that the herald is not lumbar is right. sent17: the hyssop does not traffic Chesterfield. sent18: if there exists something such that it is not lumbar the Appalachians is a kind of a Esocidae. sent19: the Appalachians redirects Fungia and is a Esocidae if that there are non-lumbar things is not incorrect. sent20: the hyssop is a kind of a trillion if it does not traffic Chesterfield and it is not a kind of a dirk. ; $proof$ = 
sent20 & sent5 -> int1: the hyssop is a trillion.; __UNKNOWN__