The bear does not chase the dog. The cat does not like the dog. The cat sees the dog. The dog does not like the cat. The tiger chases the bear. The tiger chases the dog. The tiger is big. If something chases the dog and the dog is red then it does not like the tiger. If something is red and green then it likes the tiger. If something chases the tiger then it sees the tiger. If something likes the bear then it does not chase the cat. If something likes the bear and it is green then the bear is not cold. If the tiger does not like the dog then the dog chases the cat. If something is green then it chases the dog. If the tiger likes the cat and the tiger does not chase the dog then the cat sees the dog.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog does not like the cat.
("dog" "likes" "cat" "-")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
If something chases the dog and the dog is red then it does not like the tiger.
((("something" "chases" "dog" "+") ("dog" "is" "red" "+")) -> ("something" "likes" "tiger" "-"))
If something is red and green then it likes the tiger.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "likes" "tiger" "+"))
If something chases the tiger then it sees the tiger.
((("something" "chases" "tiger" "+")) -> ("something" "sees" "tiger" "+"))
If something likes the bear then it does not chase the cat.
((("something" "likes" "bear" "+")) -> ("something" "chases" "cat" "-"))
If something likes the bear and it is green then the bear is not cold.
((("something" "likes" "bear" "+") ("something" "is" "green" "+")) -> ("bear" "is" "cold" "-"))
If the tiger does not like the dog then the dog chases the cat.
((("tiger" "likes" "dog" "~")) -> ("dog" "chases" "cat" "+"))
If something is green then it chases the dog.
((("something" "is" "green" "+")) -> ("something" "chases" "dog" "+"))
If the tiger likes the cat and the tiger does not chase the dog then the cat sees the dog.
((("tiger" "likes" "cat" "+") ("tiger" "chases" "dog" "~")) -> ("cat" "sees" "dog" "+"))
The tiger chases the dog.
True
1
proof
[(triple6)]
("tiger" "chases" "dog" "+")
triple6
The tiger is not big.
False
1
inv-proof
[(triple7)]
("tiger" "is" "big" "-")
triple7
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "chases" "dog" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bear does not chase the dog.[(triple1)] The cat does not like the dog.[(triple2)] The cat sees the dog.[(triple3)] The dog does not like the cat.[(triple4)] The tiger chases the bear.[(triple5)] The tiger chases the dog.[(triple6)] The tiger is big.[(triple7)]
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple2
The cat sees the dog.
("cat" "sees" "dog" "+")
triple3
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple4
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple5
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7