A v F ^ R ^ F v ~G v A ^ F ^ ~R v ~F v A ^ D v F v ~D v G ^ F ^ ~R v ~F v A ^ D v A  ^ F v ~G v A v ~F ^ ~R v ~F  v F v ~G v A ^ F ^  ~R v ~F v ~G v A ^ F ^ ~F  v ~G