>>375 の情報のほかに
・・・
山田かよ の 現在の所在地 は 東京都杉並区 だ.
山田かよ の 趣味 は '2ちゃんねる閲覧' だ.
山田かよ の 自宅 は '神奈川県川崎市中原区' だ.
・・・
・・・

が定義されていたような場合に、

尋ね人は山田かよで、現在東京都杉並区にいる。
その確信率は45%というような解を導く述語の
定義が可能だろう。