People often find complex symbolic deduction difficult, whereas formal proof systems can readily establish how conclusions follow from premises.

“following like very complex sort of symbolic logic arguments like deductive arguments or people actually”

“people actually struggle with that a lot.”

“Like, how do premises like logically fall from conclusions?”

“People have a very hard time with that. Very easy for formal proof systems.”