there exists something such that if that it is not regressive and/or dings Angas is true the fact that it is a bible hold.
sent1: if something is not regressive and/or it dings Angas then it is a bible. sent2: there exists something such that if it is regressive and/or it dings Angas then it is a bible. sent3: if the pyocyanase is not a bible and/or it imparts Recife it aggrieves.
sent1 -> int1: if the pyocyanase is not regressive and/or dings Angas then it is a bible.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not regressive and/or dings Angas is true the fact that it is a bible hold. ; $context$ = sent1: if something is not regressive and/or it dings Angas then it is a bible. sent2: there exists something such that if it is regressive and/or it dings Angas then it is a bible. sent3: if the pyocyanase is not a bible and/or it imparts Recife it aggrieves. ; $proof$ = 
sent1 -> int1: if the pyocyanase is not regressive and/or dings Angas then it is a bible.; int1 -> hypothesis; __PROVED__