the urethra is not a kind of a Papuan.
sent1: the fact that the urethra is not a kind of a Papuan is true if the peacock-throne either does dominate carpetbagger or is a Moquelumnan or both. sent2: the peacock-throne is a kind of a reordering if there exists something such that it does cash and/or it is not a leeward. sent3: if something reorders it is a Moquelumnan.
sent3 -> int1: the peacock-throne is a Moquelumnan if it is a reordering.;
$hypothesis$ = the urethra is not a kind of a Papuan. ; $context$ = sent1: the fact that the urethra is not a kind of a Papuan is true if the peacock-throne either does dominate carpetbagger or is a Moquelumnan or both. sent2: the peacock-throne is a kind of a reordering if there exists something such that it does cash and/or it is not a leeward. sent3: if something reorders it is a Moquelumnan. ; $proof$ = 
sent3 -> int1: the peacock-throne is a Moquelumnan if it is a reordering.; __UNKNOWN__