context: Charlie is blue. The sister of Erin is Anne. If Anne is quiet then Dave is red. If Bob is green then Fiona is not rough. Bob is green if Charlie is blue. Anne is quiet if Fiona is not rough or Anne is Erin's sister.