Not really
when I am looking at R6C2 and R7C2 I know that 3,6 is impossible, the 4,6 I removed immediately and looked for the 1,9 which is not that tough.
Regarding rubylips argument the other candidates are not relevant here
he is saying r5c1=4 =>r5c1<>8 => r4c1=8 => r6c2=3 => r8c2=6 => r8c1=4
and that a contradiction so r5c1<>4