INPUT TEXT:
Every man has a bike.
If a man has a house then he has a car.
If a man has a bike then he does not have a dog.
If a man does not have a dog and has a car then he does not have a cat.
John is a man.
John has a house.

RULES:
-group([pred_mod(have,A,gv(0),[]),object(gv(0),dog,countable,na,eq,1)]) <- [group([pred_mod(have,A,gv(4),[]),object(gv(4),bike,countable,na,eq,1)]), object(A,man,countable,na,eq,1)].
-group([pred_mod(have,A,gv(1),[]),object(gv(1),cat,countable,na,eq,1)]) <- [group([pred_mod(have,A,gv(3),[]),object(gv(3),car,countable,na,eq,1)]), object(A,man,countable,na,eq,1), -group([pred_mod(have,A,gv(0),[]),object(gv(0),dog,countable,na,eq,1)])].
group([pred_mod(have,A,gv(4),[]),object(gv(4),bike,countable,na,eq,1)]) <- [object(A,man,countable,na,eq,1)].
group([pred_mod(have,A,gv(3),[]),object(gv(3),car,countable,na,eq,1)]) <- [pred_mod(have,A,B,[]), object(A,man,countable,na,eq,1), object(B,house,countable,na,eq,1)].
pred_mod(have,named('John'),v(0),[]).
object(named('John'),'John',named,na,eq,1).
object(named('John'),man,countable,na,eq,1).
object(v(0),house,countable,na,eq,1).

SIMPLE RULES:
-group([have(A,gv(0),[]),dog(gv(0))]) <- [group([have(A,gv(4),[]),bike(gv(4))]), man(A)].
-group([have(A,gv(1),[]),cat(gv(1))]) <- [group([have(A,gv(3),[]),car(gv(3))]), man(A), -group([have(A,gv(0),[]),dog(gv(0))])].
group([have(A,gv(4),[]),bike(gv(4))]) <- [man(A)].
group([have(A,gv(3),[]),car(gv(3))]) <- [have(A,B,[]), man(A), house(B)].
have(named('John'),v(0),[]).
man(named('John')).
house(v(0)).

ANSWERSET #1:
-group([pred_mod(have,named('John'),gv(0),[]),object(gv(0),dog,countable,na,eq,1)]).
-group([pred_mod(have,named('John'),gv(1),[]),object(gv(1),cat,countable,na,eq,1)]).
group([pred_mod(have,named('John'),gv(3),[]),object(gv(3),car,countable,na,eq,1)]).
group([pred_mod(have,named('John'),gv(4),[]),object(gv(4),bike,countable,na,eq,1)]).
pred_mod(have,named('John'),v(0),[]).
object(named('John'),'John',named,na,eq,1).
object(named('John'),man,countable,na,eq,1).
object(v(0),house,countable,na,eq,1).

ANSWERTEXT #1:
John is a man.
John has a house.
John has a bike.
John has a car.
It is false that John has a dog.
It is false that John has a cat.