if the brickwork is not a kind of a weed then the myometrium is not a bola or it does remodel brickwork or both.
sent1: if the brickwork does not remodel brickwork then the myometrium is a bola or it does remodel brickwork or both. sent2: if the brickwork does not remodel brickwork then the myometrium is not a kind of a bola and/or does remodel brickwork. sent3: if the brickwork does not weed then the myometrium is a bola and/or remodels brickwork. sent4: the myometrium is not a bola and/or it remodels brickwork if the fact that the brickwork weeds is not false. sent5: the brickwork is a weed if it remodels brickwork. sent6: the myometrium is a kind of a bola or it remodels brickwork or both.
void -> assump2: Let's assume that the brickwork remodels brickwork.; sent5 & assump2 -> int1: the fact that the brickwork is a weed hold.; void -> assump1: Let's assume that the brickwork is not a weed.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brickwork does not remodel brickwork.; sent2 & int3 -> int4: either the myometrium is not a bola or it remodels brickwork or both.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the brickwork is not a kind of a weed then the myometrium is not a bola or it does remodel brickwork or both. ; $context$ = sent1: if the brickwork does not remodel brickwork then the myometrium is a bola or it does remodel brickwork or both. sent2: if the brickwork does not remodel brickwork then the myometrium is not a kind of a bola and/or does remodel brickwork. sent3: if the brickwork does not weed then the myometrium is a bola and/or remodels brickwork. sent4: the myometrium is not a bola and/or it remodels brickwork if the fact that the brickwork weeds is not false. sent5: the brickwork is a weed if it remodels brickwork. sent6: the myometrium is a kind of a bola or it remodels brickwork or both. ; $proof$ = 
void -> assump2: Let's assume that the brickwork remodels brickwork.; sent5 & assump2 -> int1: the fact that the brickwork is a weed hold.; void -> assump1: Let's assume that the brickwork is not a weed.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brickwork does not remodel brickwork.; sent2 & int3 -> int4: either the myometrium is not a bola or it remodels brickwork or both.; [assump1] & int4 -> hypothesis; __PROVED__