The dog visits the tiger. The mouse chases the dog. The rabbit chases the dog. The rabbit chases the tiger. The rabbit likes the dog. The tiger likes the mouse. The tiger visits the dog. If someone chases the rabbit then they like the rabbit. If someone likes the tiger and the tiger likes the dog then they chase the rabbit.
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone chases the rabbit then they like the rabbit.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the tiger and the tiger likes the dog then they chase the rabbit.
((("someone" "likes" "tiger" "+") ("tiger" "likes" "dog" "+")) -> ("someone" "chases" "rabbit" "+"))
The mouse chases the dog.
True
1
proof
[(triple2)]
("mouse" "chases" "dog" "+")
triple2
The dog does not visit the tiger.
False
1
inv-proof
[(triple1)]
("dog" "visits" "tiger" "-")
triple1
The tiger does not like the rabbit.
Unknown
inv-rconc
[@2: The tiger likes the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "likes" "rabbit" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The dog visits the tiger.[(triple1)] The mouse chases the dog.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit likes the dog.[(triple5)] The tiger likes the mouse.[(triple6)] The tiger visits the dog.[(triple7)]
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple2
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple4
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple5
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple6
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple7