the helleborine does not shriek.
sent1: if something is endemic but it does not broadside anagrams the concretion is a kind of a nettle. sent2: the armory is an endemic but it does not broadside anagrams. sent3: the helleborine is not a Granada. sent4: there is something such that it is endemic. sent5: if something is not raptorial that it does not shriek hold. sent6: if something is a nettle then that it is both not a murdered and not a pisanosaur is wrong. sent7: that the armory does not broadside anagrams and it is not a pisanosaur does not hold. sent8: the fact that the concretion does not murder but it is a pisanosaur does not hold if it is a nettle. sent9: if the fact that the concretion is not a murdered and it is not a kind of a pisanosaur does not hold then the helleborine is not raptorial. sent10: that the concretion is not raptorial but it is a pisanosaur is not right. sent11: the helleborine is not a pisanosaur if the fact that the concretion is not a kind of a pisanosaur and it does not shriek is not correct. sent12: if something is not a pisanosaur then that it is a murdered and not a nettle is not correct. sent13: that the helleborine does not nettle hold. sent14: if that the concretion is not a pisanosaur or is raptorial or both is not true then it is not a murdered. sent15: something that does not murder does not nettle and/or shrieks. sent16: if a murdered is not a pisanosaur then the concretion is raptorial. sent17: that the concretion is not a Durant is true if it is not a nettle. sent18: the helleborine is not a kind of a pisanosaur. sent19: if the concretion is a pisanosaur then the helleborine is not raptorial.
sent2 -> int1: there exists something such that it is an endemic and does not broadside anagrams.; int1 & sent1 -> int2: the concretion is a kind of a nettle.; sent6 -> int3: that the concretion is not a kind of a murdered and it is not a kind of a pisanosaur does not hold if the fact that it does nettle is correct.; int2 & int3 -> int4: the fact that the concretion is not a murdered and it is not a pisanosaur is wrong.; int4 & sent9 -> int5: the helleborine is not raptorial.; sent5 -> int6: if the helleborine is not raptorial it does not shriek.; int5 & int6 -> hypothesis;
the helleborine does nettle.
sent12 -> int7: the fact that the helleborine is a murdered but it does not nettle does not hold if it is not a pisanosaur.;
$hypothesis$ = the helleborine does not shriek. ; $context$ = sent1: if something is endemic but it does not broadside anagrams the concretion is a kind of a nettle. sent2: the armory is an endemic but it does not broadside anagrams. sent3: the helleborine is not a Granada. sent4: there is something such that it is endemic. sent5: if something is not raptorial that it does not shriek hold. sent6: if something is a nettle then that it is both not a murdered and not a pisanosaur is wrong. sent7: that the armory does not broadside anagrams and it is not a pisanosaur does not hold. sent8: the fact that the concretion does not murder but it is a pisanosaur does not hold if it is a nettle. sent9: if the fact that the concretion is not a murdered and it is not a kind of a pisanosaur does not hold then the helleborine is not raptorial. sent10: that the concretion is not raptorial but it is a pisanosaur is not right. sent11: the helleborine is not a pisanosaur if the fact that the concretion is not a kind of a pisanosaur and it does not shriek is not correct. sent12: if something is not a pisanosaur then that it is a murdered and not a nettle is not correct. sent13: that the helleborine does not nettle hold. sent14: if that the concretion is not a pisanosaur or is raptorial or both is not true then it is not a murdered. sent15: something that does not murder does not nettle and/or shrieks. sent16: if a murdered is not a pisanosaur then the concretion is raptorial. sent17: that the concretion is not a Durant is true if it is not a nettle. sent18: the helleborine is not a kind of a pisanosaur. sent19: if the concretion is a pisanosaur then the helleborine is not raptorial. ; $proof$ = 
sent2 -> int1: there exists something such that it is an endemic and does not broadside anagrams.; int1 & sent1 -> int2: the concretion is a kind of a nettle.; sent6 -> int3: that the concretion is not a kind of a murdered and it is not a kind of a pisanosaur does not hold if the fact that it does nettle is correct.; int2 & int3 -> int4: the fact that the concretion is not a murdered and it is not a pisanosaur is wrong.; int4 & sent9 -> int5: the helleborine is not raptorial.; sent5 -> int6: if the helleborine is not raptorial it does not shriek.; int5 & int6 -> hypothesis; __PROVED__