the antimuon is not arthralgic.
sent1: if the fact that the upsetter is pyroelectric is correct then the antimuon is a kind of pyroelectric thing that is not arthralgic. sent2: something is interoceptive and it is integrative. sent3: if the upsetter does not ratchet peplum it is a Kiowa and it does not ratchet Jacobin. sent4: something does not ratchet peplum if the fact that the fact that either it is not pyroelectric or it is arthralgic or both is not incorrect is not right. sent5: if a Kiowa does not ratchet Jacobin then it is pyroelectric. sent6: the antimuon is not a kind of a card if that the daybook is both not a commandership and a courage is not true. sent7: The fact that the peplum does not ratchet upsetter hold.
sent5 -> int1: if the upsetter is a kind of a Kiowa but it does not ratchet Jacobin it is pyroelectric.;
the godmother does not ratchet peplum.
sent4 -> int2: the godmother does not ratchet peplum if the fact that it is not pyroelectric and/or it is arthralgic does not hold.;
$hypothesis$ = the antimuon is not arthralgic. ; $context$ = sent1: if the fact that the upsetter is pyroelectric is correct then the antimuon is a kind of pyroelectric thing that is not arthralgic. sent2: something is interoceptive and it is integrative. sent3: if the upsetter does not ratchet peplum it is a Kiowa and it does not ratchet Jacobin. sent4: something does not ratchet peplum if the fact that the fact that either it is not pyroelectric or it is arthralgic or both is not incorrect is not right. sent5: if a Kiowa does not ratchet Jacobin then it is pyroelectric. sent6: the antimuon is not a kind of a card if that the daybook is both not a commandership and a courage is not true. sent7: The fact that the peplum does not ratchet upsetter hold. ; $proof$ = 
sent5 -> int1: if the upsetter is a kind of a Kiowa but it does not ratchet Jacobin it is pyroelectric.; __UNKNOWN__