But using things like propositional logic and decision trees requires a lot of computing power due to the level of detail.

Current hardware limitations mean it would take very long to reach any conclusion.