01研

論理
c(i($1は$2です。),m(c(i($1は$2ですか?),m(yes)))m(c(i($1って何?),o($2です。)))o(そうなんだ。))
c(i($1は$2でない。),m(c(i($1は$2ですか?),m(no)))m(c(i($1って何?),o($2じゃないよ。)))o(そうなんだ。))
c(i($1は$2ですか?),m(question{=,$1,$2}))
c(i($1は$2ですか?)m(yes)!m(question{=,$3,$4})m(question{=,$1,$2}),o(はい。))
c(i($1は$2ですか?)m(no)!m(question{=,$3,$4})m(question{=,$1,$2}),o(いいえ。))
c(i($1は$2ですか?)!m(yes)!m(no)m(question{=,$1,$2}),o(わかりません。))

あなた:aはbですか?
陽子:わかりません。
あなた:aはbです。
陽子:そうなんだ。
あなた:aはbですか?
陽子:はい。
あなた:cはdですか?
陽子:わかりません。
あなた:cはdでない。
陽子:そうなんだ。
あなた:cはdですか?
陽子:いいえ。
あなた:aはbですか?
陽子:はい。
あなた:aって何?
陽子:bです。
あなた:cって何?
陽子:dじゃないよ。

戻る