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