the stigma is not a kind of a mission.
sent1: that something is not an immortal but it does jibe is not true if it is a mission. sent2: the stigma is not a kind of a Kyd if it is a tempter. sent3: that the stigma is not a cogged but it does whelp Trevino is not true. sent4: the stigma is a kind of pasta thing that is a Kyd. sent5: if something does pry it is non-myopathic. sent6: if the diesel is a kind of a Kyd the sling is a Kyd. sent7: that the pyxidium is both unfree and a vestal is not true.
sent1 -> int1: that the stigma is not immortal and jibes does not hold if it is a mission.; void -> assump1: Let's assume that the stigma is a mission.; int1 & assump1 -> int2: that the stigma is not an immortal but it does jibe is wrong.; sent4 -> int3: the stigma is not non-pasta.;
the sling is a Kyd.
$hypothesis$ = the stigma is not a kind of a mission. ; $context$ = sent1: that something is not an immortal but it does jibe is not true if it is a mission. sent2: the stigma is not a kind of a Kyd if it is a tempter. sent3: that the stigma is not a cogged but it does whelp Trevino is not true. sent4: the stigma is a kind of pasta thing that is a Kyd. sent5: if something does pry it is non-myopathic. sent6: if the diesel is a kind of a Kyd the sling is a Kyd. sent7: that the pyxidium is both unfree and a vestal is not true. ; $proof$ = 
sent1 -> int1: that the stigma is not immortal and jibes does not hold if it is a mission.; void -> assump1: Let's assume that the stigma is a mission.; int1 & assump1 -> int2: that the stigma is not an immortal but it does jibe is wrong.; sent4 -> int3: the stigma is not non-pasta.; __UNKNOWN__