there exists something such that if it is a sailfish it is a Piaf or does not drape bogy or both.
sent1: if that the abbey is algoid is correct it rewrites Bura and/or it is not a sailfish. sent2: the sprit either is a Piaf or does not drape bogy or both if it is a sailfish. sent3: there exists something such that if it is secular then either it is starry or it is appellative or both.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it is a sailfish it is a Piaf or does not drape bogy or both. ; $context$ = sent1: if that the abbey is algoid is correct it rewrites Bura and/or it is not a sailfish. sent2: the sprit either is a Piaf or does not drape bogy or both if it is a sailfish. sent3: there exists something such that if it is secular then either it is starry or it is appellative or both. ; $proof$ = 
sent2 -> hypothesis; __PROVED__