if the brae is not a leopard then the stria cranks organophosphate but it is not a exotoxin.
sent1: the stria cranks organophosphate and is not a exotoxin if the half-length is not a kind of a exotoxin. sent2: if something does not fool stria and is not a tramp then the half-length is not a exotoxin. sent3: the brae is a leopard if that it does not fool stria and is not a tramp is not true. sent4: the brae is not a kind of a exotoxin and is not a tramp.
void -> assump2: Let's assume that the fact that the brae does not fool stria and it is not a tramp is wrong.; sent3 & assump2 -> int1: the brae is a kind of a leopard.; void -> assump1: Let's assume that the brae is not a kind of a leopard.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brae does not fool stria and is not a tramp.; int3 -> int4: there is something such that it does not fool stria and it is not a tramp.; int4 & sent2 -> int5: the half-length is not a kind of a exotoxin.; sent1 & int5 -> int6: the stria cranks organophosphate but it is not a exotoxin.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the brae is not a leopard then the stria cranks organophosphate but it is not a exotoxin. ; $context$ = sent1: the stria cranks organophosphate and is not a exotoxin if the half-length is not a kind of a exotoxin. sent2: if something does not fool stria and is not a tramp then the half-length is not a exotoxin. sent3: the brae is a leopard if that it does not fool stria and is not a tramp is not true. sent4: the brae is not a kind of a exotoxin and is not a tramp. ; $proof$ = 
void -> assump2: Let's assume that the fact that the brae does not fool stria and it is not a tramp is wrong.; sent3 & assump2 -> int1: the brae is a kind of a leopard.; void -> assump1: Let's assume that the brae is not a kind of a leopard.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brae does not fool stria and is not a tramp.; int3 -> int4: there is something such that it does not fool stria and it is not a tramp.; int4 & sent2 -> int5: the half-length is not a kind of a exotoxin.; sent1 & int5 -> int6: the stria cranks organophosphate but it is not a exotoxin.; [assump1] & int6 -> hypothesis; __PROVED__