the shovelhead is aphoristic.
sent1: that the oriflamme is existential and/or it does not stagger is not correct if the WASP does not metal. sent2: something is not necrotic if it does not reassail animist or it is a kind of a metal or both. sent3: the oriflamme is not leafless. sent4: the WASP is not a metal. sent5: if that something does not reassail animist but it is unbreakable is not right it is not leafless. sent6: the shovelhead is aphoristic if that the thrust is not leafless hold. sent7: that the oriflamme is necrotic and/or it does not stagger is false. sent8: there is something such that the fact that it is necrotic and/or it metals is not correct. sent9: the wether does reassail animist. sent10: the convalescence is not necrotic if there is something such that that it is existential or it does not stagger or both is wrong. sent11: something is not aphoristic if the fact that it is leafy thing that does reassail animist is incorrect. sent12: if something is a jailer then it is not a trandolapril. sent13: the fact that the thrust does not reassail animist but it is unbreakable does not hold if the convalescence is not necrotic.
sent1 & sent4 -> int1: that that the oriflamme is existential and/or it does not stagger hold is not right.; int1 -> int2: there is something such that that it either is existential or does not stagger or both is wrong.; int2 & sent10 -> int3: the convalescence is not necrotic.; int3 & sent13 -> int4: that the thrust does not reassail animist and is unbreakable does not hold.; sent5 -> int5: if the fact that the thrust does not reassail animist and is unbreakable is not right the fact that it is not leafless hold.; int4 & int5 -> int6: the thrust is not leafless.; int6 & sent6 -> hypothesis;
the fact that the thrust is not necrotic hold.
sent2 -> int7: the thrust is not necrotic if it does not reassail animist and/or it metals.;
$hypothesis$ = the shovelhead is aphoristic. ; $context$ = sent1: that the oriflamme is existential and/or it does not stagger is not correct if the WASP does not metal. sent2: something is not necrotic if it does not reassail animist or it is a kind of a metal or both. sent3: the oriflamme is not leafless. sent4: the WASP is not a metal. sent5: if that something does not reassail animist but it is unbreakable is not right it is not leafless. sent6: the shovelhead is aphoristic if that the thrust is not leafless hold. sent7: that the oriflamme is necrotic and/or it does not stagger is false. sent8: there is something such that the fact that it is necrotic and/or it metals is not correct. sent9: the wether does reassail animist. sent10: the convalescence is not necrotic if there is something such that that it is existential or it does not stagger or both is wrong. sent11: something is not aphoristic if the fact that it is leafy thing that does reassail animist is incorrect. sent12: if something is a jailer then it is not a trandolapril. sent13: the fact that the thrust does not reassail animist but it is unbreakable does not hold if the convalescence is not necrotic. ; $proof$ = 
sent1 & sent4 -> int1: that that the oriflamme is existential and/or it does not stagger hold is not right.; int1 -> int2: there is something such that that it either is existential or does not stagger or both is wrong.; int2 & sent10 -> int3: the convalescence is not necrotic.; int3 & sent13 -> int4: that the thrust does not reassail animist and is unbreakable does not hold.; sent5 -> int5: if the fact that the thrust does not reassail animist and is unbreakable is not right the fact that it is not leafless hold.; int4 & int5 -> int6: the thrust is not leafless.; int6 & sent6 -> hypothesis; __PROVED__