The process of discovering contradictions and removing them is important to finding good predicates in AI, however, brute force is not the best way. Logic reasoning is not enough for AI development as it requires more than just deduction for human-like learning.