Test if the conclusion is a logical consequence of the premises

--> Incorrect

----------------------------------------
Negative model :

% domain size is 2

f(!1) = !1
f(!2) = !1

p(!1,!1) <=> $true
p(!1,!2) <=> $false
p(!2,!1) <=> $true
p(!2,!2) <=> $true

----------------------------------------