the lawyerbush is lossy.
sent1: the lawyerbush is a kind of an incredulity. sent2: if the capulin is not a Nebraskan but it is a Hmong then the gecko is a Hmong. sent3: the lawyerbush is not a kind of an eighth if it is a kind of a tallow that is a Onopordum. sent4: if the lawyerbush is not holographic it is not a bonesetter and it is a Hmong. sent5: something is not a Hmong and coaches katamorphism if it is not an eighth. sent6: the lawyerbush is not a Carpinaceae if it reads handset and it is not a tongued. sent7: the intestine does not coach pickled if it reads handset and it does coach katamorphism. sent8: something is not lossy and does coach katamorphism if it is not a kind of a tallow. sent9: the lawyerbush is a tallow and is not a kind of a Onopordum. sent10: the lawyerbush is not a kind of a Onopordum. sent11: if something does not coach katamorphism then it is not a Onopordum. sent12: the lawyerbush is not a kind of an eighth if it is a tallow but not a Onopordum. sent13: the gecko is a kind of an eighth if it is Hmong. sent14: if something is a kind of a Onopordum and it is an eighth it is a tallow. sent15: something is a kind of a tallow if the fact that it is lossy and is an eighth hold. sent16: a non-Hmong thing that is a Onopordum is lossy. sent17: if something is not Hmong but it coaches katamorphism it is lossy. sent18: the fact that the lawyerbush is non-Hmong if the fact that the lawyerbush is not an eighth is correct is not wrong. sent19: if something is not an eighth then the fact that it is not a Hmong is true.
sent12 & sent9 -> int1: the lawyerbush is not a kind of an eighth.; sent5 -> int2: if that the lawyerbush is not a kind of an eighth is not incorrect it is not a Hmong and does coach katamorphism.; int1 & int2 -> int3: the lawyerbush is not Hmong and coaches katamorphism.; sent17 -> int4: the lawyerbush is lossy if it is non-Hmong thing that does coach katamorphism.; int3 & int4 -> hypothesis;
the lawyerbush is not lossy.
$hypothesis$ = the lawyerbush is lossy. ; $context$ = sent1: the lawyerbush is a kind of an incredulity. sent2: if the capulin is not a Nebraskan but it is a Hmong then the gecko is a Hmong. sent3: the lawyerbush is not a kind of an eighth if it is a kind of a tallow that is a Onopordum. sent4: if the lawyerbush is not holographic it is not a bonesetter and it is a Hmong. sent5: something is not a Hmong and coaches katamorphism if it is not an eighth. sent6: the lawyerbush is not a Carpinaceae if it reads handset and it is not a tongued. sent7: the intestine does not coach pickled if it reads handset and it does coach katamorphism. sent8: something is not lossy and does coach katamorphism if it is not a kind of a tallow. sent9: the lawyerbush is a tallow and is not a kind of a Onopordum. sent10: the lawyerbush is not a kind of a Onopordum. sent11: if something does not coach katamorphism then it is not a Onopordum. sent12: the lawyerbush is not a kind of an eighth if it is a tallow but not a Onopordum. sent13: the gecko is a kind of an eighth if it is Hmong. sent14: if something is a kind of a Onopordum and it is an eighth it is a tallow. sent15: something is a kind of a tallow if the fact that it is lossy and is an eighth hold. sent16: a non-Hmong thing that is a Onopordum is lossy. sent17: if something is not Hmong but it coaches katamorphism it is lossy. sent18: the fact that the lawyerbush is non-Hmong if the fact that the lawyerbush is not an eighth is correct is not wrong. sent19: if something is not an eighth then the fact that it is not a Hmong is true. ; $proof$ = 
sent12 & sent9 -> int1: the lawyerbush is not a kind of an eighth.; sent5 -> int2: if that the lawyerbush is not a kind of an eighth is not incorrect it is not a Hmong and does coach katamorphism.; int1 & int2 -> int3: the lawyerbush is not Hmong and coaches katamorphism.; sent17 -> int4: the lawyerbush is lossy if it is non-Hmong thing that does coach katamorphism.; int3 & int4 -> hypothesis; __PROVED__