if that the tribesman is inhospitable thing that does accord fiftieth is false then the fact that the ground-shaker accords idesia is right.
sent1: if the Sumatran is not a extraordinariness but it does confederate concerted the tribesman is not hospitable. sent2: if something is a kind of a Dneprodzerzhinsk but it is not a extraordinariness then that the ground-shaker accords idesia hold. sent3: if the piggery does not confederate concerted the forebear is not a laetrile and it does not confederate concerted. sent4: that the ground-shaker is a Dneprodzerzhinsk is wrong. sent5: if the forebear does accord fiftieth the Sumatran is a Dneprodzerzhinsk. sent6: something is not a kind of a Dneprodzerzhinsk if it is not valid. sent7: that something is a extraordinariness is not false if it does not mow or is a extraordinariness or both. sent8: if the tribesman is not a kind of a laetrile and does not confederate concerted then it is invalid. sent9: something is not valid if it is not a laetrile and does not confederate concerted. sent10: the tribesman is not a Dneprodzerzhinsk if the fact that either the piggery does not accord idesia or it is not a Dneprodzerzhinsk or both is false. sent11: if something is not a Irenaeus but it does oppose sunporch then it does not accord Mimamsa. sent12: the piggery is not valid. sent13: if that the tribesman is not hospitable and accords fiftieth is incorrect the piggery does not confederate concerted. sent14: if there exists something such that it is not valid then the forebear is not allelic and not mesenteric. sent15: if the piggery is not a Dneprodzerzhinsk but it is a laetrile the forebear does not confederate concerted. sent16: if something is a extraordinariness that it does not accord idesia and/or it is not a Dneprodzerzhinsk does not hold. sent17: something is not a extraordinariness.
void -> assump1: Let's assume that the fact that the tribesman is not hospitable but it does accord fiftieth is incorrect.; sent13 & assump1 -> int1: the piggery does not confederate concerted.; int1 & sent3 -> int2: the forebear is not a laetrile and does not confederate concerted.; sent9 -> int3: if the forebear is not a laetrile and does not confederate concerted it is not valid.; int2 & int3 -> int4: that the forebear is not valid is true.; sent6 -> int5: the forebear is not a Dneprodzerzhinsk if it is not valid.; int4 & int5 -> int6: the forebear is not a Dneprodzerzhinsk.;
the forebear is both not allelic and not mesenteric.
sent16 -> int7: if the piggery is a extraordinariness the fact that either it does not accord idesia or it is not a kind of a Dneprodzerzhinsk or both does not hold.; sent7 -> int8: if the piggery either does not mow or is a kind of a extraordinariness or both then it is a extraordinariness.;
$hypothesis$ = if that the tribesman is inhospitable thing that does accord fiftieth is false then the fact that the ground-shaker accords idesia is right. ; $context$ = sent1: if the Sumatran is not a extraordinariness but it does confederate concerted the tribesman is not hospitable. sent2: if something is a kind of a Dneprodzerzhinsk but it is not a extraordinariness then that the ground-shaker accords idesia hold. sent3: if the piggery does not confederate concerted the forebear is not a laetrile and it does not confederate concerted. sent4: that the ground-shaker is a Dneprodzerzhinsk is wrong. sent5: if the forebear does accord fiftieth the Sumatran is a Dneprodzerzhinsk. sent6: something is not a kind of a Dneprodzerzhinsk if it is not valid. sent7: that something is a extraordinariness is not false if it does not mow or is a extraordinariness or both. sent8: if the tribesman is not a kind of a laetrile and does not confederate concerted then it is invalid. sent9: something is not valid if it is not a laetrile and does not confederate concerted. sent10: the tribesman is not a Dneprodzerzhinsk if the fact that either the piggery does not accord idesia or it is not a Dneprodzerzhinsk or both is false. sent11: if something is not a Irenaeus but it does oppose sunporch then it does not accord Mimamsa. sent12: the piggery is not valid. sent13: if that the tribesman is not hospitable and accords fiftieth is incorrect the piggery does not confederate concerted. sent14: if there exists something such that it is not valid then the forebear is not allelic and not mesenteric. sent15: if the piggery is not a Dneprodzerzhinsk but it is a laetrile the forebear does not confederate concerted. sent16: if something is a extraordinariness that it does not accord idesia and/or it is not a Dneprodzerzhinsk does not hold. sent17: something is not a extraordinariness. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tribesman is not hospitable but it does accord fiftieth is incorrect.; sent13 & assump1 -> int1: the piggery does not confederate concerted.; int1 & sent3 -> int2: the forebear is not a laetrile and does not confederate concerted.; sent9 -> int3: if the forebear is not a laetrile and does not confederate concerted it is not valid.; int2 & int3 -> int4: that the forebear is not valid is true.; sent6 -> int5: the forebear is not a Dneprodzerzhinsk if it is not valid.; int4 & int5 -> int6: the forebear is not a Dneprodzerzhinsk.; __UNKNOWN__