the fact that the Pound does process subrogation is not false if the intake is a kind of a selenology.
sent1: the Pound is a selenology if it is a SOD. sent2: if the intake is a selenology then it is a SOD. sent3: if the intake is a SOD it is a selenology. sent4: the intake is a kind of a SOD. sent5: the Pound is a SOD if the intake is a plutonium. sent6: the intake processes subrogation. sent7: the Pound is a selenology. sent8: something processes subrogation if it is a SOD. sent9: the intake is a kind of a SOD if the fact that the Pound does process subrogation is not incorrect. sent10: the Pound is a plutonium. sent11: if something is not a selenology then the fact that that it is both not a SOD and a plutonium is not incorrect is wrong. sent12: if the Pound is a plutonium the intake is a SOD. sent13: something is a SOD if the fact that it is not a SOD but a plutonium is false.
void -> assump1: Let's assume that the intake is a kind of a selenology.; sent8 -> int1: if the Pound is a SOD then it does process subrogation.;
that the intake is a SOD is correct.
sent13 -> int2: the intake is a kind of a SOD if that the fact that it is not a kind of a SOD and is a kind of a plutonium is right is incorrect.; sent11 -> int3: that the intake is not a SOD and is a plutonium is wrong if it is not a selenology.;
$hypothesis$ = the fact that the Pound does process subrogation is not false if the intake is a kind of a selenology. ; $context$ = sent1: the Pound is a selenology if it is a SOD. sent2: if the intake is a selenology then it is a SOD. sent3: if the intake is a SOD it is a selenology. sent4: the intake is a kind of a SOD. sent5: the Pound is a SOD if the intake is a plutonium. sent6: the intake processes subrogation. sent7: the Pound is a selenology. sent8: something processes subrogation if it is a SOD. sent9: the intake is a kind of a SOD if the fact that the Pound does process subrogation is not incorrect. sent10: the Pound is a plutonium. sent11: if something is not a selenology then the fact that that it is both not a SOD and a plutonium is not incorrect is wrong. sent12: if the Pound is a plutonium the intake is a SOD. sent13: something is a SOD if the fact that it is not a SOD but a plutonium is false. ; $proof$ = 
void -> assump1: Let's assume that the intake is a kind of a selenology.; sent8 -> int1: if the Pound is a SOD then it does process subrogation.; __UNKNOWN__