marielogic

Marielogic is a nonlinear logic which eventually leads to the correct conclusion. Marielogic can also be used to find loopholes in inconvenient rules. Due to the complexity of Marielogic it is not suitable for AI algorithms.

Marie got lost going to the store because she wouldn’t use the navigation, marielogic reasoned it was less than 5 miles from her house and should have known where it was.