Formal logic can be hard to grasp when not illustrated by reallife examples. In fact, the same task can be either very hard or extremely easy depending on the context in which it is presented. The Wason selection task is a well documented example of such a phenomenon.
The font used in the video and thumbnail is called Inconsolata by Raph Levien. It's a beautiful monospaced font and if you do any programming at all and are looking for a different font style for your editor you might want to check out his website: https://levien.com/type/myfonts/incon...
The graph paper background that is used throughout the video was made by SALidesign (https://www.flickr.com/photos/salide...) and is available under the Attribution 2.0 generic (https://creativecommons.org/licenses/...) license.