if the instigator is not a kind of a abscission the Sumatran is not kinetic.
sent1: the fact that something is directing but it is not unidimensional is false if the fact that it does not study commonality is not incorrect. sent2: everything does not study commonality. sent3: if something is a kind of a abscission that it is not a kind of a drainplug and it is kinetic does not hold. sent4: if the Yankee is a kind of a drainplug the instigator is a kind of a abscission.
void -> assump2: Let's assume that the Sumatran is kinetic.;
the pineapple is not a drainplug.
sent2 -> int1: the Yankee does not study commonality.; sent1 -> int2: that the fact that the Yankee directs but it is not unidimensional is false is not false if it does not study commonality.; int1 & int2 -> int3: the fact that the Yankee does direct and is not unidimensional is wrong.; sent3 -> int4: that the Yankee is not a kind of a drainplug and is kinetic does not hold if it is a abscission.;
$hypothesis$ = if the instigator is not a kind of a abscission the Sumatran is not kinetic. ; $context$ = sent1: the fact that something is directing but it is not unidimensional is false if the fact that it does not study commonality is not incorrect. sent2: everything does not study commonality. sent3: if something is a kind of a abscission that it is not a kind of a drainplug and it is kinetic does not hold. sent4: if the Yankee is a kind of a drainplug the instigator is a kind of a abscission. ; $proof$ = 
void -> assump2: Let's assume that the Sumatran is kinetic.; __UNKNOWN__