there exists something such that if the fact that it steadies is true then it does not gesticulate broadside and is not planar.
sent1: if the monal does steady it does not gesticulate broadside. sent2: there is something such that if it steadies then it does not gesticulate broadside. sent3: the monal does not gesticulate broadside and it is not planar if it does steady. sent4: the fact that there exists something such that if it is steadying then it gesticulates broadside and is not planar is not wrong. sent5: there exists something such that if the fact that it is steadying is not wrong it does not gesticulate broadside and it is planar. sent6: there exists something such that if it is not non-steadying then it is not planar. sent7: if the monal is steadying it does not gesticulate broadside and it is planar. sent8: there exists something such that if it is a Chadian then it does not gesticulate Poulenc and it is not a kind of a threadfish.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it steadies is true then it does not gesticulate broadside and is not planar. ; $context$ = sent1: if the monal does steady it does not gesticulate broadside. sent2: there is something such that if it steadies then it does not gesticulate broadside. sent3: the monal does not gesticulate broadside and it is not planar if it does steady. sent4: the fact that there exists something such that if it is steadying then it gesticulates broadside and is not planar is not wrong. sent5: there exists something such that if the fact that it is steadying is not wrong it does not gesticulate broadside and it is planar. sent6: there exists something such that if it is not non-steadying then it is not planar. sent7: if the monal is steadying it does not gesticulate broadside and it is planar. sent8: there exists something such that if it is a Chadian then it does not gesticulate Poulenc and it is not a kind of a threadfish. ; $proof$ = 
sent3 -> hypothesis; __PROVED__