The cow sees the dog. The dog likes the cow. The tiger sees the cow. If something chases the cow and the cow chases the dog then it is rough. If the dog sees the tiger and the dog is nice then the dog chases the tiger. If something likes the dog then the dog likes the cow. If something chases the dog and the dog likes the cow then it is nice. All big things are blue. If something is rough and it likes the cow then it likes the dog.
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If something chases the cow and the cow chases the dog then it is rough.
((("something" "chases" "cow" "+") ("cow" "chases" "dog" "+")) -> ("something" "is" "rough" "+"))
If the dog sees the tiger and the dog is nice then the dog chases the tiger.
((("dog" "sees" "tiger" "+") ("dog" "is" "nice" "+")) -> ("dog" "chases" "tiger" "+"))
If something likes the dog then the dog likes the cow.
((("something" "likes" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If something chases the dog and the dog likes the cow then it is nice.
((("something" "chases" "dog" "+") ("dog" "likes" "cow" "+")) -> ("something" "is" "nice" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is rough and it likes the cow then it likes the dog.
((("something" "is" "rough" "+") ("something" "likes" "cow" "+")) -> ("something" "likes" "dog" "+"))
The tiger sees the cow.
True
1
proof
[(triple3)]
("tiger" "sees" "cow" "+")
triple3
The tiger does not see the cow.
False
1
inv-proof
[(triple3)]
("tiger" "sees" "cow" "-")
triple3
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "-")
The tiger sees the dog.
Unknown
random
[@0: The tiger sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "dog" "+")
@0: The cow sees the dog.[(triple1)] The dog likes the cow.[(triple2)] The tiger sees the cow.[(triple3)]
The cow sees the dog.
("cow" "sees" "dog" "+")
triple1
The dog likes the cow.
("dog" "likes" "cow" "+")
triple2
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple3