論証力を試す問題ならこれ！以外にAIは取りこぼしていた。

どのAIも正解を即答すると思っていたが、想定解を返してきたAIはなかったな。
正解の一部を返すAIはあった。もちろん裏口容疑者のシリツ医は取り組むことすらできない。

【問題】
AからJの10人はそれぞれ正直者か嘘つきであり、誰が正直者か嘘つきかはお互いに知っている。
A,B,C,D,Eは嘘つきなら必ず嘘をつくが、F,G,H,I,Jは嘘つきでも正しいことを言う場合がある。
次の証言から
（１）確実に正直者と断定できるのは誰か？
（２）確実に嘘つきと断定できるのは誰か？

A「嘘つきの方が正直者より多い」
B「Hは嘘つきである」
C「Bは嘘つきである」
D「CもFも嘘つきである」
E「全員の中に少なくとも1人嘘つきがいる」
F「全員の中に少なくとも2人嘘つきがいる」
G「Eは嘘つきである」
H「AもFも正直者である」
I「Dが正直者なら自分も正直者である」
J 「Aが正直者ならばCも正直者で、Aが嘘つきならばCも嘘つきである」