context: Charlie is not blue. Erin is not red. Anne is quiet if Fiona is not rough. If Anne is quiet then Dave is red. Charlie is not young if Dave is red. If Bob is green then Fiona is not rough. Bob is not green if Charlie is blue or Erin is red.