Thinking Database
Reset
Load Preset
Export JSON
Facts
Add Fact
Inference Rules
If A [pred1] B and B [pred2] C → A [pred2] C
Add Rule
Explicit Fact
Inferred Fact
Enjoy this tool? Build your own with Super