the fact that something does discountenance foxhole and it latches Lemnaceae does not hold.
sent1: there exists something such that it is not a reflexivity and is a Mallophaga. sent2: there exists something such that it latches Lemnaceae. sent3: the Somalian latches Lemnaceae. sent4: if the Menorah does not awe ducking it is a kind of non-Cornish thing that does not discountenance port. sent5: if something is non-Cornish thing that does not discountenance port it does discountenance foxhole. sent6: that the Menorah is not humane and it is not a kind of a headline is not correct. sent7: The Lemnaceae latches Somalian. sent8: something does manhandle indoctrination. sent9: the Somalian is not a kind of a seersucker if there is something such that that it is not a reflexivity but a Mallophaga is not right. sent10: there is something such that it discountenances foxhole. sent11: if the Somalian does not discountenance foxhole and it is not a seersucker then the disaccharidase is not a lordolatry. sent12: the disaccharidase is a lordolatry. sent13: the fact that the Somalian does not discountenance bucket and is unassertive is false if there is something such that it is not a kind of a seersucker. sent14: if something that does discountenance foxhole is not a lordolatry then the disaccharidase is not a seersucker. sent15: the Menorah does not awe ducking if the fact that it is not humane and not a headline is wrong. sent16: there is something such that that it is a reflexivity and is a Mallophaga is not correct. sent17: the Somalian is not a seersucker if there exists something such that it is not a kind of a Mallophaga. sent18: there is something such that that it is not a reflexivity and it is a kind of a Mallophaga does not hold.
sent18 & sent9 -> int1: the Somalian is not a kind of a seersucker.; void -> assump1: Let's assume that the Somalian does not discountenance foxhole.; int1 & assump1 -> int2: the Somalian does not discountenance foxhole and it is not a seersucker.; int2 & sent11 -> int3: the disaccharidase is not a kind of a lordolatry.; int3 & sent12 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Somalian does discountenance foxhole.; int5 & sent3 -> int6: the Somalian does discountenance foxhole and does latch Lemnaceae.; int6 -> hypothesis;
there exists something such that that it does not discountenance bucket and is unassertive is wrong.
sent5 -> int7: the Menorah does discountenance foxhole if it is not a kind of a Cornish and it does not discountenance port.; sent15 & sent6 -> int8: that the Menorah does not awe ducking is correct.; sent4 & int8 -> int9: the Menorah is not a kind of a Cornish and does not discountenance port.; int7 & int9 -> int10: the fact that the Menorah discountenances foxhole hold.;
$hypothesis$ = the fact that something does discountenance foxhole and it latches Lemnaceae does not hold. ; $context$ = sent1: there exists something such that it is not a reflexivity and is a Mallophaga. sent2: there exists something such that it latches Lemnaceae. sent3: the Somalian latches Lemnaceae. sent4: if the Menorah does not awe ducking it is a kind of non-Cornish thing that does not discountenance port. sent5: if something is non-Cornish thing that does not discountenance port it does discountenance foxhole. sent6: that the Menorah is not humane and it is not a kind of a headline is not correct. sent7: The Lemnaceae latches Somalian. sent8: something does manhandle indoctrination. sent9: the Somalian is not a kind of a seersucker if there is something such that that it is not a reflexivity but a Mallophaga is not right. sent10: there is something such that it discountenances foxhole. sent11: if the Somalian does not discountenance foxhole and it is not a seersucker then the disaccharidase is not a lordolatry. sent12: the disaccharidase is a lordolatry. sent13: the fact that the Somalian does not discountenance bucket and is unassertive is false if there is something such that it is not a kind of a seersucker. sent14: if something that does discountenance foxhole is not a lordolatry then the disaccharidase is not a seersucker. sent15: the Menorah does not awe ducking if the fact that it is not humane and not a headline is wrong. sent16: there is something such that that it is a reflexivity and is a Mallophaga is not correct. sent17: the Somalian is not a seersucker if there exists something such that it is not a kind of a Mallophaga. sent18: there is something such that that it is not a reflexivity and it is a kind of a Mallophaga does not hold. ; $proof$ = 
sent18 & sent9 -> int1: the Somalian is not a kind of a seersucker.; void -> assump1: Let's assume that the Somalian does not discountenance foxhole.; int1 & assump1 -> int2: the Somalian does not discountenance foxhole and it is not a seersucker.; int2 & sent11 -> int3: the disaccharidase is not a kind of a lordolatry.; int3 & sent12 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Somalian does discountenance foxhole.; int5 & sent3 -> int6: the Somalian does discountenance foxhole and does latch Lemnaceae.; int6 -> hypothesis; __DISPROVED__