that the fingering happens brings about that the jugglery happens.
sent1: the fact that the lens and/or the dominicalness occurs is true. sent2: if the dominicalness occurs the lighterage occurs. sent3: the fact that the rulership happens is correct if the losing phlogopite does not occur. sent4: the lighterage happens if the lens happens. sent5: the tentacularness happens and the persisting reshuffle occurs. sent6: both the owing and the erupting occurs. sent7: that the jugglery does not occur and the persisting Sarazen does not occur is false if the tentacularness happens. sent8: if that the lens happens is true the receiving happens. sent9: if the lighterage occurs and the losing phlogopite happens then the finger happens. sent10: that the fingering does not occur is brought about by that the lighterage happens and the losing phlogopite occurs. sent11: that the jugglery occurs hold if the rulership occurs.
void -> assump1: Let's assume that the fingering occurs.; sent1 & sent4 & sent2 -> int1: the lighterage happens.; void -> assump2: Let's assume that the losing phlogopite happens.; int1 & assump2 -> int2: the lighterage and the losing phlogopite happens.; sent10 & int2 -> int3: the finger does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the losing phlogopite does not occur.; sent3 & int5 -> int6: the rulership occurs.; sent11 & int6 -> int7: that the jugglery occurs is correct.; [assump1] & int7 -> hypothesis;
the receiving happens.
sent5 -> int8: the tentacularness occurs.; sent7 & int8 -> int9: the fact that the jugglery does not occur and the persisting Sarazen does not occur is not right.;
$hypothesis$ = that the fingering happens brings about that the jugglery happens. ; $context$ = sent1: the fact that the lens and/or the dominicalness occurs is true. sent2: if the dominicalness occurs the lighterage occurs. sent3: the fact that the rulership happens is correct if the losing phlogopite does not occur. sent4: the lighterage happens if the lens happens. sent5: the tentacularness happens and the persisting reshuffle occurs. sent6: both the owing and the erupting occurs. sent7: that the jugglery does not occur and the persisting Sarazen does not occur is false if the tentacularness happens. sent8: if that the lens happens is true the receiving happens. sent9: if the lighterage occurs and the losing phlogopite happens then the finger happens. sent10: that the fingering does not occur is brought about by that the lighterage happens and the losing phlogopite occurs. sent11: that the jugglery occurs hold if the rulership occurs. ; $proof$ = 
void -> assump1: Let's assume that the fingering occurs.; sent1 & sent4 & sent2 -> int1: the lighterage happens.; void -> assump2: Let's assume that the losing phlogopite happens.; int1 & assump2 -> int2: the lighterage and the losing phlogopite happens.; sent10 & int2 -> int3: the finger does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the losing phlogopite does not occur.; sent3 & int5 -> int6: the rulership occurs.; sent11 & int6 -> int7: that the jugglery occurs is correct.; [assump1] & int7 -> hypothesis; __PROVED__