egalite-ai
local chat-like reasoning

Motto:
Be readable
Provide partial answer ASAP
allow to break reasoning

if A is a B and B has C then A has C
vs earmuffs
*A* is *B* | *B* has *C* => *A* has *C*
What has Tom? => Tom has *?* // query
12 + 6 => 10 + 2 + 6 12 => *A*2 *B* => *A*0 + 2 *B* *A*1 *B* => *A*0 + 1 *B* *A* // I forgot to check if rule is A is B hello B, that B should have same value add