(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)