the fact that there is something such that if the fact that it is not a kind of a Jansenist is not correct it credits Lloyd is right.
sent1: if the fact that that the ventricle is not a kind of a Jansenist and does not broker does not hold hold it credits Lloyd.
void -> assump1: Let's assume that the ventricle is not a Jansenist and does not broker.; assump1 -> int1: the ventricle is not a Jansenist.; void -> assump2: Let's assume that the ventricle is a Jansenist.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the ventricle is not a Jansenist and it does not broker is not true.; int3 & sent1 -> int4: that the ventricle credits Lloyd is correct.; [assump2] & int4 -> int5: the ventricle does credit Lloyd if it is a kind of a Jansenist.; int5 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is not a kind of a Jansenist is not correct it credits Lloyd is right. ; $context$ = sent1: if the fact that that the ventricle is not a kind of a Jansenist and does not broker does not hold hold it credits Lloyd. ; $proof$ = 
void -> assump1: Let's assume that the ventricle is not a Jansenist and does not broker.; assump1 -> int1: the ventricle is not a Jansenist.; void -> assump2: Let's assume that the ventricle is a Jansenist.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the ventricle is not a Jansenist and it does not broker is not true.; int3 & sent1 -> int4: that the ventricle credits Lloyd is correct.; [assump2] & int4 -> int5: the ventricle does credit Lloyd if it is a kind of a Jansenist.; int5 -> hypothesis; __PROVED__