the passe-partout is marital.
sent1: if the presence is a regur but it does not redden glottochronology then the Devon is a vicar-general. sent2: if that something is not a bosc or it does not redden unproductiveness or both is not right it is not a vicar-general. sent3: if the Restoration does redden unproductiveness the passe-partout is not a kind of a bosc but it does redden unproductiveness. sent4: something does not masturbate and is a halide if that it does uncurl does not hold. sent5: if the elder does not uncurl then the Restoration does not uncurl and reddens unproductiveness. sent6: if the fact that something is a vicar-general but it is not a trepang is not true then it does not uncurl. sent7: the presence is a regur but it does not redden glottochronology. sent8: if something is not a kind of a bosc but it does redden unproductiveness then it is non-marital. sent9: the fact that something is not a kind of a trepang but it uncurls is incorrect if it is not a vicar-general. sent10: that the elder is a vicar-general but it is not a trepang is not true if the Devon is a vicar-general.
sent1 & sent7 -> int1: the Devon is a vicar-general.; int1 & sent10 -> int2: that the elder is a kind of a vicar-general but it is not a trepang is wrong.; sent6 -> int3: the fact that the elder does not uncurl is true if that it is a vicar-general and is not a kind of a trepang does not hold.; int2 & int3 -> int4: the elder does not uncurl.; int4 & sent5 -> int5: the Restoration does not uncurl but it does redden unproductiveness.; int5 -> int6: the Restoration does redden unproductiveness.; int6 & sent3 -> int7: the passe-partout is not a kind of a bosc and does redden unproductiveness.; sent8 -> int8: if the passe-partout is not a kind of a bosc and does redden unproductiveness then it is not marital.; int7 & int8 -> hypothesis;
the moraine does not masturbate and is a halide.
sent4 -> int9: if the moraine does not uncurl it does not masturbate and it is a kind of a halide.; sent9 -> int10: if the presence is not a vicar-general then that it is not a kind of a trepang and it does uncurl is incorrect.; sent2 -> int11: if that the presence is not a bosc and/or it does not redden unproductiveness is wrong then it is not a vicar-general.;
$hypothesis$ = the passe-partout is marital. ; $context$ = sent1: if the presence is a regur but it does not redden glottochronology then the Devon is a vicar-general. sent2: if that something is not a bosc or it does not redden unproductiveness or both is not right it is not a vicar-general. sent3: if the Restoration does redden unproductiveness the passe-partout is not a kind of a bosc but it does redden unproductiveness. sent4: something does not masturbate and is a halide if that it does uncurl does not hold. sent5: if the elder does not uncurl then the Restoration does not uncurl and reddens unproductiveness. sent6: if the fact that something is a vicar-general but it is not a trepang is not true then it does not uncurl. sent7: the presence is a regur but it does not redden glottochronology. sent8: if something is not a kind of a bosc but it does redden unproductiveness then it is non-marital. sent9: the fact that something is not a kind of a trepang but it uncurls is incorrect if it is not a vicar-general. sent10: that the elder is a vicar-general but it is not a trepang is not true if the Devon is a vicar-general. ; $proof$ = 
sent1 & sent7 -> int1: the Devon is a vicar-general.; int1 & sent10 -> int2: that the elder is a kind of a vicar-general but it is not a trepang is wrong.; sent6 -> int3: the fact that the elder does not uncurl is true if that it is a vicar-general and is not a kind of a trepang does not hold.; int2 & int3 -> int4: the elder does not uncurl.; int4 & sent5 -> int5: the Restoration does not uncurl but it does redden unproductiveness.; int5 -> int6: the Restoration does redden unproductiveness.; int6 & sent3 -> int7: the passe-partout is not a kind of a bosc and does redden unproductiveness.; sent8 -> int8: if the passe-partout is not a kind of a bosc and does redden unproductiveness then it is not marital.; int7 & int8 -> hypothesis; __DISPROVED__