A Peer-To-Peer Inference System for decentralized consequence finding on distributed propositional theories.