上の我流と同じものを与えている。ソルバーのようなものも付いてる。求まらないかともやってみたが、私には、自動的に求まるよう導くことはできなかった。使った証明でお茶をにごした。技術は、私にとっては、すっかり「ロストテクノロジー」となったのであった。ケネディと天使の問題は、スターリンという気まぐれ天使の登場によって様相を変える。それはこの次の「その2」に書いている。なぞなぞ」を知っていますか?》。「うそつき天使」問題・「気まぐれ天使」問題が載っている。「うそつき天使」問題には解決編があるが、「気まぐれ天使」問題についてはさらにググる必要があるようだ。2値論理方程式で天使と悪魔問題を解く》。使った論理方程式で「うそつき天使」問題(天使と悪魔問題)を解いている。『詭弁論理学』の論理方程式とは別物のようである。定理証明システム《Isabelle》。