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