the dueler does rummage Paeonia.
sent1: something does not rummage Paeonia if it is testicular or it is an evacuee or both. sent2: the carcinogen pegs Cinclidae if an evacuee is testicular. sent3: if something pegs Cinclidae the fact that it is a kind of an evacuee hold. sent4: that the dueler does rummage Paeonia is true if the carcinogen pegs Cinclidae. sent5: there exists something such that it is both an evacuee and testicular. sent6: that the carcinogen is not a one-ninth but it rummages Paeonia is incorrect if it is not non-sternal.
sent5 & sent2 -> int1: the carcinogen pegs Cinclidae.; sent4 & int1 -> hypothesis;
the dueler does not rummage Paeonia.
sent1 -> int2: if the dueler is testicular or is an evacuee or both then it does not rummage Paeonia.; sent3 -> int3: if the dueler pegs Cinclidae it is a kind of an evacuee.;
$hypothesis$ = the dueler does rummage Paeonia. ; $context$ = sent1: something does not rummage Paeonia if it is testicular or it is an evacuee or both. sent2: the carcinogen pegs Cinclidae if an evacuee is testicular. sent3: if something pegs Cinclidae the fact that it is a kind of an evacuee hold. sent4: that the dueler does rummage Paeonia is true if the carcinogen pegs Cinclidae. sent5: there exists something such that it is both an evacuee and testicular. sent6: that the carcinogen is not a one-ninth but it rummages Paeonia is incorrect if it is not non-sternal. ; $proof$ = 
sent5 & sent2 -> int1: the carcinogen pegs Cinclidae.; sent4 & int1 -> hypothesis; __PROVED__