The cat chases the tiger. The cat is not kind. The dog eats the cat. The dog eats the rabbit. The dog is rough. The dog likes the rabbit. The dog likes the tiger. The rabbit chases the dog. The rabbit does not eat the dog. The tiger chases the cat. The tiger does not like the dog. The tiger likes the rabbit. If something chases the cat and it eats the dog then it chases the rabbit.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If something chases the cat and it eats the dog then it chases the rabbit.
((("something" "chases" "cat" "+") ("something" "eats" "dog" "+")) -> ("something" "chases" "rabbit" "+"))
The dog likes the rabbit.
True
1
proof
[(triple6)]
("dog" "likes" "rabbit" "+")
triple6
The tiger likes the dog.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "dog" "+")
triple11
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cat chases the tiger.[(triple1)] The cat is not kind.[(triple2)] The dog eats the cat.[(triple3)] The dog eats the rabbit.[(triple4)] The dog is rough.[(triple5)] The dog likes the rabbit.[(triple6)] The dog likes the tiger.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit does not eat the dog.[(triple9)] The tiger chases the cat.[(triple10)] The tiger does not like the dog.[(triple11)] The tiger likes the rabbit.[(triple12)]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is not kind.
("cat" "is" "kind" "-")
triple2
The dog eats the cat.
("dog" "eats" "cat" "+")
triple3
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
triple9
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple10
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
triple11
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple12