4-三角形付加十二角形
SAT の色んなガジェット
https://gyazo.com/28d2192a40559b5c7305ca41598360ad
https://gyazo.com/9b317dc736cbf914348366c77cc5eb49
https://gyazo.com/d3bcde62c14a4e39c9c67455144a0d74
仕組み:12角形の外側の毛において False-False ペアが固定されている。
一箇所入力を False にするとFalse が奇数個連続してしまうので、それを解消するために反対側の入力も False になる。
https://gyazo.com/b743b40572c69119db0acd14aa84ff9b