the plexor does not cathect heartleaf.
sent1: if the fact that something is both prokaryotic and not an archipelago is false then it is a frame-up. sent2: the fact that there exists something such that that it does cathect smoulder is not false is true. sent3: the saddlebill is an archipelago and is not a fashionmonger. sent4: if that something is not a Serra but it is a Fossa is not correct then it is an archipelago. sent5: The smoulder cathects Hungarian. sent6: the Hungarian cathects smoulder. sent7: the plexor does not cathect heartleaf if the dysprosium is prokaryotic and it is an archipelago. sent8: the dysprosium is prokaryotic if something does cathect smoulder and it is a frame-up. sent9: that the Hungarian is a frame-up is true. sent10: the sequence is an archipelago if the saddlebill is a kind of an archipelago but it is not a fashionmonger. sent11: the dysprosium is a kind of an archipelago if it is not a Fossa. sent12: if the sequence is an archipelago and it is prokaryotic then the dysprosium is not a frame-up. sent13: something is a kind of a frame-up. sent14: if something does not cathect heartleaf then it is prokaryotic. sent15: something is a kind of an archipelago if it is not a Fossa. sent16: the plexor is a kind of a Serra if that the Hungarian is a Serra or it does not cathect smoulder or both is not correct. sent17: if the Hungarian does cathect heartleaf the plexor does cathect heartleaf. sent18: if there exists something such that it is not a Fossa then that the dysprosium is not a Serra but it is a Fossa is not right. sent19: the dysprosium does not cathect smoulder.
sent6 & sent9 -> int1: the Hungarian cathects smoulder and is a frame-up.; int1 -> int2: something does cathect smoulder and it is a kind of a frame-up.; int2 & sent8 -> int3: the dysprosium is prokaryotic.; sent4 -> int4: if the fact that the dysprosium is not a Serra and is a Fossa is not correct it is a kind of an archipelago.;
the plexor is a kind of a Serra.
sent10 & sent3 -> int5: the sequence is an archipelago.; sent14 -> int6: the sequence is prokaryotic if the fact that it does not cathect heartleaf hold.;
$hypothesis$ = the plexor does not cathect heartleaf. ; $context$ = sent1: if the fact that something is both prokaryotic and not an archipelago is false then it is a frame-up. sent2: the fact that there exists something such that that it does cathect smoulder is not false is true. sent3: the saddlebill is an archipelago and is not a fashionmonger. sent4: if that something is not a Serra but it is a Fossa is not correct then it is an archipelago. sent5: The smoulder cathects Hungarian. sent6: the Hungarian cathects smoulder. sent7: the plexor does not cathect heartleaf if the dysprosium is prokaryotic and it is an archipelago. sent8: the dysprosium is prokaryotic if something does cathect smoulder and it is a frame-up. sent9: that the Hungarian is a frame-up is true. sent10: the sequence is an archipelago if the saddlebill is a kind of an archipelago but it is not a fashionmonger. sent11: the dysprosium is a kind of an archipelago if it is not a Fossa. sent12: if the sequence is an archipelago and it is prokaryotic then the dysprosium is not a frame-up. sent13: something is a kind of a frame-up. sent14: if something does not cathect heartleaf then it is prokaryotic. sent15: something is a kind of an archipelago if it is not a Fossa. sent16: the plexor is a kind of a Serra if that the Hungarian is a Serra or it does not cathect smoulder or both is not correct. sent17: if the Hungarian does cathect heartleaf the plexor does cathect heartleaf. sent18: if there exists something such that it is not a Fossa then that the dysprosium is not a Serra but it is a Fossa is not right. sent19: the dysprosium does not cathect smoulder. ; $proof$ = 
sent6 & sent9 -> int1: the Hungarian cathects smoulder and is a frame-up.; int1 -> int2: something does cathect smoulder and it is a kind of a frame-up.; int2 & sent8 -> int3: the dysprosium is prokaryotic.; sent4 -> int4: if the fact that the dysprosium is not a Serra and is a Fossa is not correct it is a kind of an archipelago.; __UNKNOWN__