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