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