I tried to diagram the premise in this question and I get R-->BOC. I picked an Idea "not rational" and negated it and made it the sufficient. But this is quite different from what you give in the video explanation (not BOC -->R) . What am I doing ...