// Table 8.2: Sample Independent-Variable Elimination Rules
' Deduction 
<<#x --> S> ==> <#x --> P >>.
< M --> S >.
<M --> P >?
6

' Abduction 
<<#x --> S> ==> <#x --> P >>.
< M --> P >.
<M --> S>?
6

' Induction : fails !!!
<<#x --> S> ==> <#x --> P >>.
< S --> M >.
< M --> P >?
4

' Exemplification : fails !!!
<<#x --> P> ==> <#x --> M >>.
< M --> S >.
< S --> P >?
4

// NAL2 rules

' Analogy
<<#x --> S> <=> <#x --> P >>.
<M --> S>.
<M --> P>?
6

' Comparison : fails !!!
<<#x --> P> ==> <#x --> M >>.
< S --> M >.
< S <-> P >?
6

' Resemblance : fails !!!
<<#x --> P> <=> <#x --> M >>.
< S <-> M >.
< S <-> P >?
6