if that the pyrene is not an oriole and is not millenarian is not correct then the fact that it does mummify F.I.S.C. hold.
sent1: the pyrene mummifies F.I.S.C. if the fact that it is an oriole hold. sent2: if that something is not a kind of an oriole and is not a kind of a millenarian is not correct then it mummifies F.I.S.C..
sent2 -> hypothesis;
$hypothesis$ = if that the pyrene is not an oriole and is not millenarian is not correct then the fact that it does mummify F.I.S.C. hold. ; $context$ = sent1: the pyrene mummifies F.I.S.C. if the fact that it is an oriole hold. sent2: if that something is not a kind of an oriole and is not a kind of a millenarian is not correct then it mummifies F.I.S.C.. ; $proof$ = 
sent2 -> hypothesis; __PROVED__