there is something such that if it thrusts roadkill it is a killdeer.
sent1: the Kwell is a lymphokine if it does not heal unexpectedness. sent2: if something does not thrust middling then that it thrusts roadkill and it is a killdeer does not hold. sent3: the middling thrusts roadkill. sent4: the Kwell does not thrust roadkill if it is not a killdeer.
void -> assump2: Let's assume that the Kwell is not a kind of a killdeer.; sent4 & assump2 -> int1: that the Kwell does not thrust roadkill is right.; void -> assump1: Let's assume that the Kwell does thrust roadkill.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Kwell is a kind of a killdeer is true.; [assump1] & int3 -> int4: if the Kwell does thrust roadkill it is a killdeer.; int4 -> hypothesis;
the Kwell does emerge.
sent2 -> int5: the fact that that the sclerometer does thrust roadkill and it is a kind of a killdeer hold is false if that it does not thrust middling is not incorrect.;
$hypothesis$ = there is something such that if it thrusts roadkill it is a killdeer. ; $context$ = sent1: the Kwell is a lymphokine if it does not heal unexpectedness. sent2: if something does not thrust middling then that it thrusts roadkill and it is a killdeer does not hold. sent3: the middling thrusts roadkill. sent4: the Kwell does not thrust roadkill if it is not a killdeer. ; $proof$ = 
void -> assump2: Let's assume that the Kwell is not a kind of a killdeer.; sent4 & assump2 -> int1: that the Kwell does not thrust roadkill is right.; void -> assump1: Let's assume that the Kwell does thrust roadkill.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Kwell is a kind of a killdeer is true.; [assump1] & int3 -> int4: if the Kwell does thrust roadkill it is a killdeer.; int4 -> hypothesis; __PROVED__