the invention unclothes locative.
sent1: the setter is not chromatinic but it is Masonic if it is not non-palatal. sent2: the setter unclothes locative if the mangrove is indehiscent. sent3: the ravigote unclothes locative if the setter unclothes locative. sent4: the ravigote is indehiscent thing that is thick. sent5: if the ravigote unclothes locative then the invention does unclothes locative. sent6: the ravigote is not a palatal but it is thick. sent7: something is a palatal if it is a dynamics. sent8: the invention does not unclothe locative if the setter is not chromatinic but it is Masonic. sent9: the setter is non-chromatinic thing that is a kind of a dynamics if it unclothes locative. sent10: the ravigote is not chromatinic. sent11: if there is something such that it is a USMC or it is indehiscent or both then the setter is a dynamics. sent12: the ravigote is a cyclobenzaprine and is deflationary. sent13: the setter is not a USMC if the ravigote is chromatinic and is Masonic. sent14: the ravigote is thick and is Masonic. sent15: the setter is not indehiscent. sent16: the setter is not chromatinic if it is a palatal. sent17: the ravigote does unclothe locative and/or it is a kind of a USMC.
sent4 -> int1: the ravigote is indehiscent.; int1 -> int2: the ravigote is a kind of a USMC and/or it is indehiscent.; int2 -> int3: something is a kind of a USMC or is indehiscent or both.; int3 & sent11 -> int4: the setter is a dynamics.; sent7 -> int5: the setter is a palatal if it is a kind of a dynamics.; int4 & int5 -> int6: the fact that the setter is not palatal does not hold.; int6 & sent1 -> int7: the setter is non-chromatinic thing that is Masonic.; int7 & sent8 -> hypothesis;
the invention does unclothe locative.
$hypothesis$ = the invention unclothes locative. ; $context$ = sent1: the setter is not chromatinic but it is Masonic if it is not non-palatal. sent2: the setter unclothes locative if the mangrove is indehiscent. sent3: the ravigote unclothes locative if the setter unclothes locative. sent4: the ravigote is indehiscent thing that is thick. sent5: if the ravigote unclothes locative then the invention does unclothes locative. sent6: the ravigote is not a palatal but it is thick. sent7: something is a palatal if it is a dynamics. sent8: the invention does not unclothe locative if the setter is not chromatinic but it is Masonic. sent9: the setter is non-chromatinic thing that is a kind of a dynamics if it unclothes locative. sent10: the ravigote is not chromatinic. sent11: if there is something such that it is a USMC or it is indehiscent or both then the setter is a dynamics. sent12: the ravigote is a cyclobenzaprine and is deflationary. sent13: the setter is not a USMC if the ravigote is chromatinic and is Masonic. sent14: the ravigote is thick and is Masonic. sent15: the setter is not indehiscent. sent16: the setter is not chromatinic if it is a palatal. sent17: the ravigote does unclothe locative and/or it is a kind of a USMC. ; $proof$ = 
sent4 -> int1: the ravigote is indehiscent.; int1 -> int2: the ravigote is a kind of a USMC and/or it is indehiscent.; int2 -> int3: something is a kind of a USMC or is indehiscent or both.; int3 & sent11 -> int4: the setter is a dynamics.; sent7 -> int5: the setter is a palatal if it is a kind of a dynamics.; int4 & int5 -> int6: the fact that the setter is not palatal does not hold.; int6 & sent1 -> int7: the setter is non-chromatinic thing that is Masonic.; int7 & sent8 -> hypothesis; __DISPROVED__