The cow does not chase the tiger. The cow does not eat the dog. The cow is red. The cow does not visit the squirrel. The dog does not chase the squirrel. The dog is not red. The dog is round. The dog visits the tiger. The squirrel is red. The tiger chases the cow. The tiger does not chase the dog. The tiger visits the squirrel. If something is rough then it does not eat the dog. If something eats the cow then it does not eat the dog. If something is red and green then it is not rough. If something eats the tiger then it does not eat the squirrel. If something chases the squirrel then the squirrel does not eat the cow. If something visits the dog then the dog eats the squirrel. If the cow is not nice and the cow does not visit the tiger then the tiger does not visit the cow. If something is rough and it does not visit the cow then the cow visits the squirrel.
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
The cow does not eat the dog.
("cow" "eats" "dog" "-")
The cow is red.
("cow" "is" "red" "+")
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog is not red.
("dog" "is" "red" "-")
The dog is round.
("dog" "is" "round" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something is rough then it does not eat the dog.
((("something" "is" "rough" "+")) -> ("something" "eats" "dog" "-"))
If something eats the cow then it does not eat the dog.
((("something" "eats" "cow" "+")) -> ("something" "eats" "dog" "-"))
If something is red and green then it is not rough.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "-"))
If something eats the tiger then it does not eat the squirrel.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "squirrel" "-"))
If something chases the squirrel then the squirrel does not eat the cow.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "eats" "cow" "-"))
If something visits the dog then the dog eats the squirrel.
((("something" "visits" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If the cow is not nice and the cow does not visit the tiger then the tiger does not visit the cow.
((("cow" "is" "nice" "~") ("cow" "visits" "tiger" "~")) -> ("tiger" "visits" "cow" "-"))
If something is rough and it does not visit the cow then the cow visits the squirrel.
((("something" "is" "rough" "+") ("something" "visits" "cow" "~")) -> ("cow" "visits" "squirrel" "+"))
The dog is not red.
True
1
proof
[(triple6)]
("dog" "is" "red" "-")
triple6
The dog is not round.
False
1
inv-proof
[(triple7)]
("dog" "is" "round" "-")
triple7
The dog does not eat the squirrel.
Unknown
inv-rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "eats" "squirrel" "-")
The dog visits the cow.
Unknown
random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "+")
@0: The cow does not chase the tiger.[(triple1)] The cow does not eat the dog.[(triple2)] The cow does not visit the squirrel.[(triple4)] The cow is red.[(triple3)] The dog does not chase the squirrel.[(triple5)] The dog is not red.[(triple6)] The dog is round.[(triple7)] The dog visits the tiger.[(triple8)] The squirrel is red.[(triple9)] The tiger chases the cow.[(triple10)] The tiger does not chase the dog.[(triple11)] The tiger visits the squirrel.[(triple12)]
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
triple1
The cow does not eat the dog.
("cow" "eats" "dog" "-")
triple2
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
triple4
The cow is red.
("cow" "is" "red" "+")
triple3
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple5
The dog is not red.
("dog" "is" "red" "-")
triple6
The dog is round.
("dog" "is" "round" "+")
triple7
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
triple11
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple12