there exists something such that if that it does not beckon Dytiscidae is right then it is unafraid and/or it does gesticulate aluminate.
sent1: a non-sectorial thing is a vagueness that is a kind of a gallon. sent2: the fact that the Pretender does not beckon article but it does deny pretension does not hold. sent3: if the auto-changer is a kind of a inexpedience and is not a greenfly then it is a kind of a gallon. sent4: the Pretender is not sectorial if the fact that it does not beckon article and does deny pretension does not hold. sent5: the fact that the Pretender is not a kind of a handout is false if it is a vivarium and does not beckon greaser. sent6: if the Pretender does gesticulate aluminate and is geriatric it does gesticulate domatium. sent7: there exists something such that if it beckons Dytiscidae it is a vagueness or it denies pretension or both.
sent4 & sent2 -> int1: the Pretender is not sectorial.; sent1 -> int2: if the Pretender is non-sectorial it is a vagueness and a gallon.; int1 & int2 -> int3: the Pretender is a kind of a vagueness and is a gallon.; int3 -> int4: that the Pretender is a gallon is correct.; void -> assump1: Let's assume that the Pretender does not beckon Dytiscidae.; int4 & assump1 -> int5: the Pretender is a kind of a gallon but it does not beckon Dytiscidae.;
$hypothesis$ = there exists something such that if that it does not beckon Dytiscidae is right then it is unafraid and/or it does gesticulate aluminate. ; $context$ = sent1: a non-sectorial thing is a vagueness that is a kind of a gallon. sent2: the fact that the Pretender does not beckon article but it does deny pretension does not hold. sent3: if the auto-changer is a kind of a inexpedience and is not a greenfly then it is a kind of a gallon. sent4: the Pretender is not sectorial if the fact that it does not beckon article and does deny pretension does not hold. sent5: the fact that the Pretender is not a kind of a handout is false if it is a vivarium and does not beckon greaser. sent6: if the Pretender does gesticulate aluminate and is geriatric it does gesticulate domatium. sent7: there exists something such that if it beckons Dytiscidae it is a vagueness or it denies pretension or both. ; $proof$ = 
sent4 & sent2 -> int1: the Pretender is not sectorial.; sent1 -> int2: if the Pretender is non-sectorial it is a vagueness and a gallon.; int1 & int2 -> int3: the Pretender is a kind of a vagueness and is a gallon.; int3 -> int4: that the Pretender is a gallon is correct.; void -> assump1: Let's assume that the Pretender does not beckon Dytiscidae.; int4 & assump1 -> int5: the Pretender is a kind of a gallon but it does not beckon Dytiscidae.; __UNKNOWN__