if that the interchange does not dream silverbush and is not a Greek is not right then the adulterer is a Lesbian.
sent1: that the skipper is unactable hold if the interchange does not dream silverbush and it is not a Greek. sent2: the adulterer is a kind of a Lesbian if that the interchange does dream silverbush but it is not Greek is wrong. sent3: if the skipper is unactable then the interlock is a straw. sent4: the interchange dreams silverbush. sent5: the skipper is unactable if that the fact that the interchange does not dream silverbush and it is not a Greek is correct does not hold. sent6: if that the interchange is a kind of non-Greek thing that is not unactable is not right the skipper does dream silverbush. sent7: the interchange is not a Lesbian and does not whistle saddled if the skipper is not a femtometer. sent8: if the interlock is a kind of a straw the adulterer is a Lesbian. sent9: if something does not whistle saddled then the fact that it is both not a straw and unactable is not right. sent10: if the interchange does not dream silverbush and it is not a kind of a Greek the adulterer is a Lesbian. sent11: the fact that the interchange does not dream silverbush and is a kind of a Greek is false. sent12: the adulterer is a kind of a Greek. sent13: if the skipper is a femtometer then that it is not a kind of a Brunelleschi and whistles saddled is incorrect. sent14: the skipper is a femtometer that is a Ancylidae. sent15: the adulterer is a Lesbian if the interchange is a Greek. sent16: if that the interchange does not dream silverbush and is not unactable is not correct the skipper is a kind of a Greek. sent17: if the fact that the interchange dreams silverbush but it is not Greek is not true the skipper is unactable. sent18: the interchange is a Greek if that the adulterer is not unactable and it is not a Lesbian is wrong. sent19: if the interchange is Greek the skipper is unactable.
void -> assump1: Let's assume that the fact that the interchange does not dream silverbush and is not a Greek is not right.; sent5 & assump1 -> int1: the skipper is unactable.; sent3 & int1 -> int2: the interlock is a kind of a straw.; sent8 & int2 -> int3: the adulterer is a Lesbian.; [assump1] & int3 -> hypothesis;
the dhow is a kind of a Lesbian.
sent9 -> int4: if the interchange does not whistle saddled that it is both not a straw and unactable is false.; sent14 -> int5: the skipper is a femtometer.; sent13 & int5 -> int6: the fact that the skipper is not a Brunelleschi but it whistles saddled does not hold.; int6 -> int7: there exists something such that that it is not a kind of a Brunelleschi and does whistle saddled is incorrect.;
$hypothesis$ = if that the interchange does not dream silverbush and is not a Greek is not right then the adulterer is a Lesbian. ; $context$ = sent1: that the skipper is unactable hold if the interchange does not dream silverbush and it is not a Greek. sent2: the adulterer is a kind of a Lesbian if that the interchange does dream silverbush but it is not Greek is wrong. sent3: if the skipper is unactable then the interlock is a straw. sent4: the interchange dreams silverbush. sent5: the skipper is unactable if that the fact that the interchange does not dream silverbush and it is not a Greek is correct does not hold. sent6: if that the interchange is a kind of non-Greek thing that is not unactable is not right the skipper does dream silverbush. sent7: the interchange is not a Lesbian and does not whistle saddled if the skipper is not a femtometer. sent8: if the interlock is a kind of a straw the adulterer is a Lesbian. sent9: if something does not whistle saddled then the fact that it is both not a straw and unactable is not right. sent10: if the interchange does not dream silverbush and it is not a kind of a Greek the adulterer is a Lesbian. sent11: the fact that the interchange does not dream silverbush and is a kind of a Greek is false. sent12: the adulterer is a kind of a Greek. sent13: if the skipper is a femtometer then that it is not a kind of a Brunelleschi and whistles saddled is incorrect. sent14: the skipper is a femtometer that is a Ancylidae. sent15: the adulterer is a Lesbian if the interchange is a Greek. sent16: if that the interchange does not dream silverbush and is not unactable is not correct the skipper is a kind of a Greek. sent17: if the fact that the interchange dreams silverbush but it is not Greek is not true the skipper is unactable. sent18: the interchange is a Greek if that the adulterer is not unactable and it is not a Lesbian is wrong. sent19: if the interchange is Greek the skipper is unactable. ; $proof$ = 
void -> assump1: Let's assume that the fact that the interchange does not dream silverbush and is not a Greek is not right.; sent5 & assump1 -> int1: the skipper is unactable.; sent3 & int1 -> int2: the interlock is a kind of a straw.; sent8 & int2 -> int3: the adulterer is a Lesbian.; [assump1] & int3 -> hypothesis; __PROVED__