The problem isn't deduction. It's getting things into the deductive system in the first place. You have to model the world, and your model will probably be in

The problem isn't deduction. It's getting things into the deductive system in the first place. You have to model the world, and your model will probably be incorrect somehow (https://www.student.cs.uwaterloo.ca/~cs492/11public_html/p18-smith.pdf https://www.student.cs.uwaterloo.ca/~cs492/11public_html/p18...).