there exists something such that if either it is unsurmountable or it is unjust or both it is not Frankish.
sent1: if something is either not surmountable or not fair or both it is not Frankish. sent2: the V is not unjust if it bulwarks or is argumentative or both. sent3: there is something such that if it does sidle whizbang the fact that it is not sportive is true. sent4: if either something does worsen or it clinches contamination or both it is not a digraph. sent5: there is something such that if it either is unsurmountable or is unjust or both then that it is Frankish is not incorrect. sent6: something that either does clinch viand or is amaranthine or both is not Semitic. sent7: if something is unsurmountable or is unjust or both the fact that it is Frankish is true. sent8: there is something such that if it is unjust then the fact that it is non-Frankish hold. sent9: if the gyro is unsurmountable and/or it is a liter the fact that it is not a calm is not false. sent10: something is not a Waite if it is outdoor. sent11: there exists something such that if it is unsurmountable it is not Frankish. sent12: there is something such that if either it is Frisian or it hatches tailor-made or both it does not hatch neurosurgeon. sent13: the V is not Frankish if it is unsurmountable. sent14: if the V either is unjust or does clinch Vesalius or both then it is not a liter. sent15: that the V is Frankish hold if it is unsurmountable and/or it is unjust.
sent1 -> int1: the V is not Frankish if it is unsurmountable and/or it is unjust.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if either it is unsurmountable or it is unjust or both it is not Frankish. ; $context$ = sent1: if something is either not surmountable or not fair or both it is not Frankish. sent2: the V is not unjust if it bulwarks or is argumentative or both. sent3: there is something such that if it does sidle whizbang the fact that it is not sportive is true. sent4: if either something does worsen or it clinches contamination or both it is not a digraph. sent5: there is something such that if it either is unsurmountable or is unjust or both then that it is Frankish is not incorrect. sent6: something that either does clinch viand or is amaranthine or both is not Semitic. sent7: if something is unsurmountable or is unjust or both the fact that it is Frankish is true. sent8: there is something such that if it is unjust then the fact that it is non-Frankish hold. sent9: if the gyro is unsurmountable and/or it is a liter the fact that it is not a calm is not false. sent10: something is not a Waite if it is outdoor. sent11: there exists something such that if it is unsurmountable it is not Frankish. sent12: there is something such that if either it is Frisian or it hatches tailor-made or both it does not hatch neurosurgeon. sent13: the V is not Frankish if it is unsurmountable. sent14: if the V either is unjust or does clinch Vesalius or both then it is not a liter. sent15: that the V is Frankish hold if it is unsurmountable and/or it is unjust. ; $proof$ = 
sent1 -> int1: the V is not Frankish if it is unsurmountable and/or it is unjust.; int1 -> hypothesis; __PROVED__