that the praetorium does not consider Principe but it is a kind of a blues does not hold if the bismuth is not a berth.
sent1: if the sensitometer does not consider Principe then the fact that the praetorium does consider Principe and it is a blues is not true. sent2: the fact that the praetorium does consider Principe and does blue does not hold. sent3: that that the praetorium does not consider Principe but it is a kind of a blues is not right is correct if the sensitometer does not consider Principe. sent4: if the bismuth is not a berth the praetorium does not consider Principe and is a blues. sent5: if the sensitometer considers Principe the bismuth is a berth.
void -> assump1: Let's assume that the sensitometer does consider Principe.; sent5 & assump1 -> int1: the bismuth is a berth.; void -> assump2: Let's assume that the bismuth is not a berth.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sensitometer does not consider Principe.; sent3 & int3 -> int4: that that the fact that the praetorium does not consider Principe and is a kind of a blues hold is not true hold.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that the praetorium does not consider Principe but it is a kind of a blues does not hold if the bismuth is not a berth. ; $context$ = sent1: if the sensitometer does not consider Principe then the fact that the praetorium does consider Principe and it is a blues is not true. sent2: the fact that the praetorium does consider Principe and does blue does not hold. sent3: that that the praetorium does not consider Principe but it is a kind of a blues is not right is correct if the sensitometer does not consider Principe. sent4: if the bismuth is not a berth the praetorium does not consider Principe and is a blues. sent5: if the sensitometer considers Principe the bismuth is a berth. ; $proof$ = 
void -> assump1: Let's assume that the sensitometer does consider Principe.; sent5 & assump1 -> int1: the bismuth is a berth.; void -> assump2: Let's assume that the bismuth is not a berth.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sensitometer does not consider Principe.; sent3 & int3 -> int4: that that the fact that the praetorium does not consider Principe and is a kind of a blues hold is not true hold.; [assump2] & int4 -> hypothesis; __PROVED__