构造下面推理的证明：如果小张和小王去看电影，则小李也去看电影，小赵不去看电影或小张去看电影，小王去看电影，所以，当小赵去看电影时，小李也去。