the magus is philosophic but it does not interdict heterosexual.
sent1: that the magus is philosophic but it does not interdict heterosexual is not right if the lampblack is not powerful. sent2: something is a lease if it is powerful. sent3: if the slum is nonfictional then the heterosexual does luxuriate. sent4: if the magus does not crab then the bailiwick is philosophic. sent5: the lansoprazole hydrates. sent6: either the slum is nonfictional or it does honey decal or both. sent7: if something interdicts heterosexual then it is a lease. sent8: the African resettles ephah. sent9: the lampblack does not resettle ephah if the bailiwick is not a crabs and not Dionysian. sent10: that the bailiwick is not a crabs is true if either the lampblack is Dionysian or it does not resettle ephah or both. sent11: the lansoprazole is Dionysian but it does not interdict heterosexual if the magus does not lease. sent12: if the lampblack does resettle ephah it is conjunct. sent13: the lampblack is Dionysian and/or it does not resettle ephah if there is something such that it is a kind of a lease. sent14: something is not a kind of a lease if it does not resettle ephah. sent15: if the bailiwick is not a kind of a crabs then the magus is philosophic but it does not interdict heterosexual. sent16: if the fact that the lampblack does not resettle ephah hold the bailiwick is not a crabs.
sent2 -> int1: the lansoprazole is a lease if it is powerful.;
the fact that the magus is a kind of philosophic thing that does not interdict heterosexual is wrong.
sent14 -> int2: the lampblack is not a lease if it does not resettle ephah.;
$hypothesis$ = the magus is philosophic but it does not interdict heterosexual. ; $context$ = sent1: that the magus is philosophic but it does not interdict heterosexual is not right if the lampblack is not powerful. sent2: something is a lease if it is powerful. sent3: if the slum is nonfictional then the heterosexual does luxuriate. sent4: if the magus does not crab then the bailiwick is philosophic. sent5: the lansoprazole hydrates. sent6: either the slum is nonfictional or it does honey decal or both. sent7: if something interdicts heterosexual then it is a lease. sent8: the African resettles ephah. sent9: the lampblack does not resettle ephah if the bailiwick is not a crabs and not Dionysian. sent10: that the bailiwick is not a crabs is true if either the lampblack is Dionysian or it does not resettle ephah or both. sent11: the lansoprazole is Dionysian but it does not interdict heterosexual if the magus does not lease. sent12: if the lampblack does resettle ephah it is conjunct. sent13: the lampblack is Dionysian and/or it does not resettle ephah if there is something such that it is a kind of a lease. sent14: something is not a kind of a lease if it does not resettle ephah. sent15: if the bailiwick is not a kind of a crabs then the magus is philosophic but it does not interdict heterosexual. sent16: if the fact that the lampblack does not resettle ephah hold the bailiwick is not a crabs. ; $proof$ = 
sent2 -> int1: the lansoprazole is a lease if it is powerful.; __UNKNOWN__