When we turn those situations into abstract versions, the brain finds it difficult -- at least at first -- and in fact one of the things about becoming a mathematician is learning to take familiar everyday reasoning that we don't even think about -- we just do it automatically -- and reproduce it in an abstract situation. 