the Lodge is not uncomplimentary and/or it is not a value.
sent1: the Lodge is not uncomplimentary if something is a fugu and does turn organ-grinder. sent2: the bola is a fugu. sent3: The organ-grinder turns bola. sent4: the bola turns organ-grinder. sent5: if that the bola is not a fugu is right then it is a doorbell.
sent2 & sent4 -> int1: the bola is a fugu and it does turn organ-grinder.; int1 -> int2: there is something such that it is a fugu and it does turn organ-grinder.; int2 & sent1 -> int3: that the Lodge is not uncomplimentary is not false.; int3 -> hypothesis;
something is a kind of a doorbell and it is periodontic.
$hypothesis$ = the Lodge is not uncomplimentary and/or it is not a value. ; $context$ = sent1: the Lodge is not uncomplimentary if something is a fugu and does turn organ-grinder. sent2: the bola is a fugu. sent3: The organ-grinder turns bola. sent4: the bola turns organ-grinder. sent5: if that the bola is not a fugu is right then it is a doorbell. ; $proof$ = 
sent2 & sent4 -> int1: the bola is a fugu and it does turn organ-grinder.; int1 -> int2: there is something such that it is a fugu and it does turn organ-grinder.; int2 & sent1 -> int3: that the Lodge is not uncomplimentary is not false.; int3 -> hypothesis; __PROVED__