there is something such that if it is an avenger then it is not a raincoat and it does not efface diastrophism.
sent1: everything is not a labial. sent2: the Southeast does not roof Witherspoon. sent3: the fact that the fact that the fact that the chauvinist is both not a Murmansk and a posthole is right is not correct is not wrong. sent4: the cowberry is not a baggage. sent5: if there exists something such that that it is not a Murmansk and is a posthole is not true then the phenolphthalein is not a baggage. sent6: if the phenolphthalein is a baggage it is not a labial and it is not a raincoat. sent7: if there is something such that it is a kind of an avenger then the feijoa is both not a labial and not a raincoat. sent8: something is a kind of a posthole. sent9: something is not a kind of an avenger if it is a kind of non-labial a raincoat. sent10: something is not non-parabolic. sent11: the phenolphthalein is not a Murmansk. sent12: the cowberry does efface diastrophism and is not a kind of a posthole if it is not a Murmansk. sent13: the cowberry does not efface diastrophism if there is something such that it is a kind of a posthole that is not a baggage. sent14: the phenolphthalein is a posthole and is not a baggage if it is not a kind of a Murmansk. sent15: the cowberry is a neurotic. sent16: the phenolphthalein is not a baggage.
sent1 -> int1: the cowberry is not a labial.; void -> assump1: Let's assume that the cowberry is a kind of a raincoat.; int1 & assump1 -> int2: the cowberry is non-labial a raincoat.; sent9 -> int3: if the cowberry is not a labial but it is a raincoat then it is not a kind of an avenger.; int2 & int3 -> int4: the cowberry is not an avenger.; void -> assump2: Let's assume that the cowberry is an avenger.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cowberry is not a raincoat.; sent14 & sent11 -> int7: the phenolphthalein is a posthole and is not a kind of a baggage.; int7 -> int8: something is a kind of a posthole and is not a kind of a baggage.; int8 & sent13 -> int9: the fact that the cowberry does not efface diastrophism is correct.; int6 & int9 -> int10: the cowberry is not a raincoat and does not efface diastrophism.; [assump2] & int10 -> int11: if the cowberry is an avenger it is not a raincoat and does not efface diastrophism.; int11 -> hypothesis;
the feijoa is not a raincoat.
sent3 -> int12: there is something such that the fact that it is not a Murmansk and it is a posthole does not hold.; int12 & sent5 -> int13: the phenolphthalein is not a baggage.;
$hypothesis$ = there is something such that if it is an avenger then it is not a raincoat and it does not efface diastrophism. ; $context$ = sent1: everything is not a labial. sent2: the Southeast does not roof Witherspoon. sent3: the fact that the fact that the fact that the chauvinist is both not a Murmansk and a posthole is right is not correct is not wrong. sent4: the cowberry is not a baggage. sent5: if there exists something such that that it is not a Murmansk and is a posthole is not true then the phenolphthalein is not a baggage. sent6: if the phenolphthalein is a baggage it is not a labial and it is not a raincoat. sent7: if there is something such that it is a kind of an avenger then the feijoa is both not a labial and not a raincoat. sent8: something is a kind of a posthole. sent9: something is not a kind of an avenger if it is a kind of non-labial a raincoat. sent10: something is not non-parabolic. sent11: the phenolphthalein is not a Murmansk. sent12: the cowberry does efface diastrophism and is not a kind of a posthole if it is not a Murmansk. sent13: the cowberry does not efface diastrophism if there is something such that it is a kind of a posthole that is not a baggage. sent14: the phenolphthalein is a posthole and is not a baggage if it is not a kind of a Murmansk. sent15: the cowberry is a neurotic. sent16: the phenolphthalein is not a baggage. ; $proof$ = 
sent1 -> int1: the cowberry is not a labial.; void -> assump1: Let's assume that the cowberry is a kind of a raincoat.; int1 & assump1 -> int2: the cowberry is non-labial a raincoat.; sent9 -> int3: if the cowberry is not a labial but it is a raincoat then it is not a kind of an avenger.; int2 & int3 -> int4: the cowberry is not an avenger.; void -> assump2: Let's assume that the cowberry is an avenger.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cowberry is not a raincoat.; sent14 & sent11 -> int7: the phenolphthalein is a posthole and is not a kind of a baggage.; int7 -> int8: something is a kind of a posthole and is not a kind of a baggage.; int8 & sent13 -> int9: the fact that the cowberry does not efface diastrophism is correct.; int6 & int9 -> int10: the cowberry is not a raincoat and does not efface diastrophism.; [assump2] & int10 -> int11: if the cowberry is an avenger it is not a raincoat and does not efface diastrophism.; int11 -> hypothesis; __PROVED__