there exists something such that if that it does not build en and is Old is not true that it does not braid aeration is correct.
sent1: the Algonquian does not braid aeration if that it does not build en and it is Old is not correct. sent2: there is something such that if that it is a kind of non-Corsican thing that does inflate does not hold it is statistical. sent3: there is something such that if the fact that it is not contrapuntal and it is a kind of a Trafalgar does not hold then it is not a Scottie.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does not build en and is Old is not true that it does not braid aeration is correct. ; $context$ = sent1: the Algonquian does not braid aeration if that it does not build en and it is Old is not correct. sent2: there is something such that if that it is a kind of non-Corsican thing that does inflate does not hold it is statistical. sent3: there is something such that if the fact that it is not contrapuntal and it is a kind of a Trafalgar does not hold then it is not a Scottie. ; $proof$ = 
sent1 -> hypothesis; __PROVED__