the essence is morbilliform but it is not onomatopoeic.
sent1: the closure does not jive if the outflow churns triplicate and is not a kind of a generic. sent2: the essence is not onomatopoeic. sent3: if the fact that the outflow does not churn triplicate and is a generic is correct the closure does not jive. sent4: the closure is not spectrographic. sent5: that the tachograph is gastrointestinal and it is spectrographic does not hold if there is something such that it does not jive. sent6: if that the tachograph is not non-gastrointestinal and is not spectrographic is wrong it is avionic. sent7: if there exists something such that the fact that it does jive is false that the tachograph is gastrointestinal but not spectrographic does not hold. sent8: the outflow does not churn triplicate and it is not a generic. sent9: if the tachograph is morbilliform that the essence is not spectrographic hold. sent10: the grinder is morbilliform if something that is avionic trucks. sent11: the fact that the closure does not jive if the outflow does not churn triplicate and it is not a generic is true. sent12: the tachograph is careful but it does not padlock. sent13: the essence is a Homaridae and avionic. sent14: if the tachograph is morbilliform the essence is both morbilliform and not gastrointestinal. sent15: the essence is morbilliform and is not onomatopoeic if the grinder is morbilliform. sent16: the tachograph trucks.
sent11 & sent8 -> int1: the closure does not jive.; int1 -> int2: there is something such that it does not jive.; int2 & sent7 -> int3: the fact that the tachograph is both gastrointestinal and not spectrographic does not hold.; int3 & sent6 -> int4: the tachograph is avionic.; int4 & sent16 -> int5: the tachograph is both avionic and a truck.; int5 -> int6: something is a kind of avionic thing that is a truck.; int6 & sent10 -> int7: the grinder is morbilliform.; int7 & sent15 -> hypothesis;
the fact that the essence is a kind of morbilliform thing that is not onomatopoeic does not hold.
$hypothesis$ = the essence is morbilliform but it is not onomatopoeic. ; $context$ = sent1: the closure does not jive if the outflow churns triplicate and is not a kind of a generic. sent2: the essence is not onomatopoeic. sent3: if the fact that the outflow does not churn triplicate and is a generic is correct the closure does not jive. sent4: the closure is not spectrographic. sent5: that the tachograph is gastrointestinal and it is spectrographic does not hold if there is something such that it does not jive. sent6: if that the tachograph is not non-gastrointestinal and is not spectrographic is wrong it is avionic. sent7: if there exists something such that the fact that it does jive is false that the tachograph is gastrointestinal but not spectrographic does not hold. sent8: the outflow does not churn triplicate and it is not a generic. sent9: if the tachograph is morbilliform that the essence is not spectrographic hold. sent10: the grinder is morbilliform if something that is avionic trucks. sent11: the fact that the closure does not jive if the outflow does not churn triplicate and it is not a generic is true. sent12: the tachograph is careful but it does not padlock. sent13: the essence is a Homaridae and avionic. sent14: if the tachograph is morbilliform the essence is both morbilliform and not gastrointestinal. sent15: the essence is morbilliform and is not onomatopoeic if the grinder is morbilliform. sent16: the tachograph trucks. ; $proof$ = 
sent11 & sent8 -> int1: the closure does not jive.; int1 -> int2: there is something such that it does not jive.; int2 & sent7 -> int3: the fact that the tachograph is both gastrointestinal and not spectrographic does not hold.; int3 & sent6 -> int4: the tachograph is avionic.; int4 & sent16 -> int5: the tachograph is both avionic and a truck.; int5 -> int6: something is a kind of avionic thing that is a truck.; int6 & sent10 -> int7: the grinder is morbilliform.; int7 & sent15 -> hypothesis; __PROVED__