The cow chases the dog. The cow chases the rabbit. The cow is blue. The cow is red. The cow is round. The cow does not need the rabbit. The dog chases the cow. The dog chases the rabbit. The dog eats the cow. The dog does not eat the rabbit. The rabbit eats the dog. The rabbit is green. The rabbit is round. The rabbit needs the cow. The rabbit needs the dog. If something is big and it does not need the cow then it chases the cow. If something is red and it needs the cow then the cow does not chase the rabbit.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something is big and it does not need the cow then it chases the cow.
((("something" "is" "big" "+") ("something" "needs" "cow" "~")) -> ("something" "chases" "cow" "+"))
If something is red and it needs the cow then the cow does not chase the rabbit.
((("something" "is" "red" "+") ("something" "needs" "cow" "+")) -> ("cow" "chases" "rabbit" "-"))
The rabbit needs the dog.
True
1
proof
[(triple15)]
("rabbit" "needs" "dog" "+")
triple15
The rabbit is not green.
False
1
inv-proof
[(triple12)]
("rabbit" "is" "green" "-")
triple12
The rabbit does not chase the cow.
Unknown
inv-rconc
[@1: The rabbit chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "cow" "-")
The dog needs the rabbit.
Unknown
random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2)] The cow does not need the rabbit.[(triple6)] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The dog chases the cow.[(triple7)] The dog chases the rabbit.[(triple8)] The dog does not eat the rabbit.[(triple10)] The dog eats the cow.[(triple9)] The rabbit eats the dog.[(triple11)] The rabbit is green.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the cow.[(triple14)] The rabbit needs the dog.[(triple15)]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple7
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple8
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple10
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple14
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15