the revolutionist clouds Venushair.
sent1: if the revolutionist ferrets blolly it wobbles Frick. sent2: the seersucker ferrets blolly and is not a kind of a bathrobe if something does not wobble Frick. sent3: the fact that something does not ferret obeah and is nonlinguistic is wrong if it is patristic. sent4: there is something such that it does not wobble Frick. sent5: the seersucker is not vestibular and it is not patristic if the fenoprofen is nonlinguistic. sent6: something clouds Venushair if it wobbles Frick. sent7: something that is not a four is vestibular and patristic. sent8: the revolutionist does ferret blolly if the tither is a bathrobe. sent9: if the Segway is a kind of a four the tither is a bathrobe. sent10: the Segway is a kind of a four if there is something such that it is a kind of non-vestibular thing that is not patristic. sent11: the fenoprofen does ferret obeah and it is nonlinguistic.
sent11 -> int1: the fenoprofen is nonlinguistic.; int1 & sent5 -> int2: the seersucker is both non-vestibular and not patristic.; int2 -> int3: something is non-vestibular and is not patristic.; int3 & sent10 -> int4: the Segway is a four.; int4 & sent9 -> int5: that the tither is a bathrobe hold.; int5 & sent8 -> int6: the revolutionist ferrets blolly.; int6 & sent1 -> int7: the revolutionist does wobble Frick.; sent6 -> int8: if the revolutionist wobbles Frick it clouds Venushair.; int7 & int8 -> hypothesis;
the revolutionist does not cloud Venushair.
sent3 -> int9: if the fenoprofen is patristic then that it does not ferret obeah and is nonlinguistic does not hold.; sent7 -> int10: if the fenoprofen is not a four then that it is vestibular and it is patristic is true.; sent4 & sent2 -> int11: the seersucker does ferret blolly but it is not a bathrobe.; int11 -> int12: something does ferret blolly and is not a kind of a bathrobe.;
$hypothesis$ = the revolutionist clouds Venushair. ; $context$ = sent1: if the revolutionist ferrets blolly it wobbles Frick. sent2: the seersucker ferrets blolly and is not a kind of a bathrobe if something does not wobble Frick. sent3: the fact that something does not ferret obeah and is nonlinguistic is wrong if it is patristic. sent4: there is something such that it does not wobble Frick. sent5: the seersucker is not vestibular and it is not patristic if the fenoprofen is nonlinguistic. sent6: something clouds Venushair if it wobbles Frick. sent7: something that is not a four is vestibular and patristic. sent8: the revolutionist does ferret blolly if the tither is a bathrobe. sent9: if the Segway is a kind of a four the tither is a bathrobe. sent10: the Segway is a kind of a four if there is something such that it is a kind of non-vestibular thing that is not patristic. sent11: the fenoprofen does ferret obeah and it is nonlinguistic. ; $proof$ = 
sent11 -> int1: the fenoprofen is nonlinguistic.; int1 & sent5 -> int2: the seersucker is both non-vestibular and not patristic.; int2 -> int3: something is non-vestibular and is not patristic.; int3 & sent10 -> int4: the Segway is a four.; int4 & sent9 -> int5: that the tither is a bathrobe hold.; int5 & sent8 -> int6: the revolutionist ferrets blolly.; int6 & sent1 -> int7: the revolutionist does wobble Frick.; sent6 -> int8: if the revolutionist wobbles Frick it clouds Venushair.; int7 & int8 -> hypothesis; __PROVED__