I feel like a passable reasoning will be achieved by an equally dumb / brute force approach. Basic reasoning isn't different from pattern matching. When one cal

I feel like a passable reasoning will be achieved by an equally dumb / brute force approach. Basic reasoning isn't different from pattern matching. When one calculates an integral, he matches the function against known patterns until something sticks and applies the transformation. Similarly, logical reasoning is often just noticing patterns (a or not b) = (b -> a).