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