# 河童の川流れ

# A1：泳ぐ
# A2：悪魔の実を食べた
# A3：溺れる

# Pr{A1, A2, A3} = Pr{A3|A1, A2} Pr{A1, A2}
# 「泳ぐ」と「悪魔の実を食べた」は独立に発生する。
# Pr{A1, A2} = Pr{A1} Pr{A2}
# Pr{A1, A2, A3} = Pr{A3|A1, A2} Pr{A1} Pr{A2}
# 河童が溺れている時、泳いでいたか悪魔の実かを判定する。

#                            Pr{A1 = True, A3 = True}
# Pr{A1 = True|A3 = True} = ─────────────
#                                 Pr{A3 = True}

#                            Pr{A2 = True, A3 = True}
# Pr{A2 = True|A3 = True} = ─────────────
#                                 Pr{A3 = True}

# Pr{A1 = True|A3 = True}
# = Σ Pr{A1 = True, A2, A3 = True}
#   A2

# Pr{A2 = True|A3 = True}
# = Σ Pr{A1, A2 = True, A3 = True}
#   A1

# Pr{A3 = True}
# = Σ Σ Pr{A1, A2, A3 = True}
#   A1 A2

A1T <- 0.8 # 泳ぐ
A1F <- 0.2
A2T <- 0.05 # 悪魔の実を食べた
A2F <- 0.95
A1TA2TA3T <- 0.99 # 悪魔の実を食べて泳いでいて溺れた。
A1TA2TA3F <- 0.01 # 悪魔の実を食べて泳いでいて溺れなかった。
A1TA2FA3T <- 0.6 # 悪魔の実を食べないで泳いでいて溺れた。
A1TA2FA3F <- 0.4 # 悪魔の実を食べないで泳いでいて溺れなかった。
A1FA2TA3T <- 0.2 # 悪魔の実を食べて泳いでいない時に溺れた。
A1FA2TA3F <- 0.8 # 悪魔の実を食べて泳いでいない時に溺れなかった。
A1FA2FA3T <- 0.1 # 悪魔の実を食べないで泳いでいない時に溺れた。
A1FA2FA3F <- 0.9 # 悪魔の実を食べないで泳いでいない時に溺れなかった。