there exists something such that if it is non-extraterritorial and not non-ontological then it is a kind of an agent.
sent1: something is ontological if it is a kind of an agent. sent2: the tendency is a Punic but it is not a Chinook if it is factorial. sent3: the tendency is bacteriostatic if it is extraterritorial and is ontological. sent4: something is a kind of an agent if it is bacteriostatic. sent5: there is something such that if it is not a produce and it is factorial it is a kaph. sent6: there exists something such that if it is extraterritorial and it is ontological it is an agent. sent7: the tendency is ontological. sent8: the fact that the tendency is reparable is right. sent9: if the tendency is extraterritorial and it is ontological it is an agent. sent10: the tendency is non-extraterritorial. sent11: the tendency is bacteriostatic if it is both not extraterritorial and ontological.
void -> assump1: Let's assume that the tendency is not extraterritorial and is ontological.; sent11 & assump1 -> int1: the tendency is bacteriostatic.; sent4 -> int2: if the tendency is bacteriostatic then the fact that it is an agent is not wrong.; int1 & int2 -> int3: the tendency is an agent.; [assump1] & int3 -> int4: if the tendency is not extraterritorial but it is ontological then it is an agent.; int4 -> hypothesis;
the wrench is ontological.
sent1 -> int5: if the wrench is a kind of an agent it is ontological.;
$hypothesis$ = there exists something such that if it is non-extraterritorial and not non-ontological then it is a kind of an agent. ; $context$ = sent1: something is ontological if it is a kind of an agent. sent2: the tendency is a Punic but it is not a Chinook if it is factorial. sent3: the tendency is bacteriostatic if it is extraterritorial and is ontological. sent4: something is a kind of an agent if it is bacteriostatic. sent5: there is something such that if it is not a produce and it is factorial it is a kaph. sent6: there exists something such that if it is extraterritorial and it is ontological it is an agent. sent7: the tendency is ontological. sent8: the fact that the tendency is reparable is right. sent9: if the tendency is extraterritorial and it is ontological it is an agent. sent10: the tendency is non-extraterritorial. sent11: the tendency is bacteriostatic if it is both not extraterritorial and ontological. ; $proof$ = 
void -> assump1: Let's assume that the tendency is not extraterritorial and is ontological.; sent11 & assump1 -> int1: the tendency is bacteriostatic.; sent4 -> int2: if the tendency is bacteriostatic then the fact that it is an agent is not wrong.; int1 & int2 -> int3: the tendency is an agent.; [assump1] & int3 -> int4: if the tendency is not extraterritorial but it is ontological then it is an agent.; int4 -> hypothesis; __PROVED__