2. Iff Rules The <> rules are a lot like the & Rules A <> B A > B B > A A > B B > A A <> B <> Out <> In A <> B abbreviates (A > B) & (B > A)

3. Iff Rules To use a sentence with the form: A <> B... 4) A <> B The strategies for using the < Rules are like & strategies as well.

4. Iff Rules To use a sentence with the form: A <> B Apply <> Out to obtain A > B and B > A. 4) A <> B 5) A > B 4 <> O 6) B > A 4 <> O The strategies for using the < Rules are like & strategies as well.

5. Iff Rules If your GOAL has the form: A <> B... A <> B GOAL The strategies for using the < Rules are like & strategies as well.

6. Iff Rules If your GOAL has the form: A <> B... Set A > B and B > A as new GOALs and use <> In to obtain A <> B. A > B GOAL B > A GOAL A <> B <> In The strategies for using the < Rules are like & strategies as well.

7. Iff Rules 11. M <> G A 2 2. G <> F A 1,2 M <> F GOAL Use <> Out.

8. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 1,2 M <> F GOAL Use the <>In Strategy

9. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O M > FGOAL F > MGOAL 1,2 M <> F ?,? <> I

10. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O M > FGOAL F > MGOAL 1,2 M <> F ?,? <> I Use the > In strategy on M > F.

11. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA FGOAL M > F7-? > I F > MGOAL 1,2 M <> F ?,? <> I

12. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA FGOAL M > F7-? > I F > MGOAL 1,2 M <> F ?,? <> I Use the > Out Strategy

13. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA GGOAL F5,? > O M > F7-? > I F > MGOAL 1,2 M <> F ?,? <> I Use the > Out Strategy

14. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA G F5,? > O M > F7-? > I F > MGOAL 1,2 M <> F ?,? <> I

15. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA G3,7 > O F5,? > O M > F7-? > I F > MGOAL 1,2 M <> F ?,? <> I Use the > Out Strategy

16. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA 1,78. G3,7 > O 1,2,79. F5,8 > O 1,210. M > F7-9 > I F > MGOAL 1,2 M <> F ?,? <> I Use the > In strategy on F > M.

17. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA 1,78. G3,7 > O 1,2,79. F5,8 > O 1,210. M > F7-9 > I 1111. FPA MGOAL F > M11-? > I 1,2 M <> F ?,? <> I

18. Iff Rules 11. M <> G A 2 2. G <> F A 13. M > G1 <> O 14. G > M1 <> O 25. G > F2 <> O 2 6. F > G2 <> O 7 7. MPA 1,78. G3,7 > O 1,2,79. F5,8 > O 1,210. M > F7-9 > I 1111. FPA 2,1112. G6,11 > O 1,2,1113. M4,12 > O 1,214. F > M11-14 > I 1,215. M <> F 10,14 <> I For more click here