1: E 2: F 3: E-(F-G) 4: 5: 6: intro 3-5 intro 2-6 7: - 8: intro 1-7 Select one or more: line 8 contains three occurrences of the variable E lines 1,2 and 3 are all assumptions. line 8 contains two occurrences of the variable E line 4 is obtained by applying the elimination rule line 4 is obtained by applying the introduction rule line 5 is obtained by applying the elimination rule line 8 contains three occurrences of the variable F. line 5: G line 5 is obtained by applying the introduction rule line 8 contains two occurrences of the variable F 1: E 2: F 3: E-( FG) 4: 5: # i N 6: intro 3-5 7: intro 2-6 8: intro 1-7 Select one or more: O line 8 contains three occurrences of the variable E lines 1,2 and 3 are all assumptions. line 8 contains two occurrences of the variable E line 4 is obtained by applying the elimination rule line 4 is obtained by applying the introduction rule line 5 is obtained by applying the elimination rule O line 8 contains three occurrences of the variable F line 5: G line 5 is obtained by applying the introduction rule line 8 contains two occurrences of the variable F