context: Charlie is blue. The grandmother of Erin is Bob. If Bob is green then Fiona is not rough. Bob is green if Charlie is blue. If Fiona is not rough or Bob is the grandmother of Erin then Anne is not quiet.