the brogan is not a kind of a neuroblast and it is not orthopedics.
sent1: the charger is not expensive and it is not a kind of a leak if the Rus is not expensive. sent2: the Rus is not expensive. sent3: there is something such that that it is not orthopedics and it is a neuroblast is not right. sent4: if there exists something such that the fact that it is not a kind of a leak and it is not a neuroblast does not hold the amniote is expensive. sent5: if the charger is not a neuroblast the brogan is not a neuroblast and is not orthopedics. sent6: there is something such that that it is not a leak but expensive is not right. sent7: if the fact that the Rus is not expensive is right then the amniote is not expensive.
void -> assump1: Let's assume that that the charger does not leak and is not a neuroblast is wrong.; assump1 -> int1: there is something such that that it is not a leak and not a neuroblast does not hold.; int1 & sent4 -> int2: the amniote is expensive.; sent7 & sent2 -> int3: the amniote is not expensive.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the charger is not a kind of a leak and is not a neuroblast.; int5 -> int6: the charger is not a neuroblast.; int6 & sent5 -> hypothesis;
$hypothesis$ = the brogan is not a kind of a neuroblast and it is not orthopedics. ; $context$ = sent1: the charger is not expensive and it is not a kind of a leak if the Rus is not expensive. sent2: the Rus is not expensive. sent3: there is something such that that it is not orthopedics and it is a neuroblast is not right. sent4: if there exists something such that the fact that it is not a kind of a leak and it is not a neuroblast does not hold the amniote is expensive. sent5: if the charger is not a neuroblast the brogan is not a neuroblast and is not orthopedics. sent6: there is something such that that it is not a leak but expensive is not right. sent7: if the fact that the Rus is not expensive is right then the amniote is not expensive. ; $proof$ = 
void -> assump1: Let's assume that that the charger does not leak and is not a neuroblast is wrong.; assump1 -> int1: there is something such that that it is not a leak and not a neuroblast does not hold.; int1 & sent4 -> int2: the amniote is expensive.; sent7 & sent2 -> int3: the amniote is not expensive.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the charger is not a kind of a leak and is not a neuroblast.; int5 -> int6: the charger is not a neuroblast.; int6 & sent5 -> hypothesis; __PROVED__