there exists something such that if it is a palingenesis then it is autoimmune.
sent1: there is something such that if it is a solidarity it errs. sent2: that there exists something such that if it is a bigeye the fact that it is not non-prosodic is true hold. sent3: if something does blunt it is not non-glial. sent4: if the housetop hypes tank then it is autogamous. sent5: the housetop is autoimmune if it is a palingenesis. sent6: if something is autoimmune it inserts decapod.
sent5 -> hypothesis;
if the mend is autoimmune then it inserts decapod.
sent6 -> hypothesis;
$hypothesis$ = there exists something such that if it is a palingenesis then it is autoimmune. ; $context$ = sent1: there is something such that if it is a solidarity it errs. sent2: that there exists something such that if it is a bigeye the fact that it is not non-prosodic is true hold. sent3: if something does blunt it is not non-glial. sent4: if the housetop hypes tank then it is autogamous. sent5: the housetop is autoimmune if it is a palingenesis. sent6: if something is autoimmune it inserts decapod. ; $proof$ = 
sent5 -> hypothesis; __PROVED__