ABCの中に嘘をついている者がいる。
A「Bは正直者だ」
B「Cは嘘を言わない」
C「AもBも良く知っているが、嘘を言っているのを見たことが無い」