The bear sees the tiger. The dog sees the rabbit. The rabbit likes the dog. The rabbit likes the tiger. The rabbit visits the dog. The tiger sees the dog. The tiger visits the bear. If someone likes the dog then they like the tiger. If someone sees the tiger and the tiger is young then they are green. If the bear is green and the bear likes the rabbit then the rabbit likes the tiger. If someone is young and they visit the tiger then the tiger sees the dog. If someone is big then they are green. If someone sees the dog then they like the rabbit.
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone likes the dog then they like the tiger.
((("someone" "likes" "dog" "+")) -> ("someone" "likes" "tiger" "+"))
If someone sees the tiger and the tiger is young then they are green.
((("someone" "sees" "tiger" "+") ("tiger" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If the bear is green and the bear likes the rabbit then the rabbit likes the tiger.
((("bear" "is" "green" "+") ("bear" "likes" "rabbit" "+")) -> ("rabbit" "likes" "tiger" "+"))
If someone is young and they visit the tiger then the tiger sees the dog.
((("someone" "is" "young" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone sees the dog then they like the rabbit.
((("someone" "sees" "dog" "+")) -> ("someone" "likes" "rabbit" "+"))
The tiger sees the dog.
True
1
proof
[(triple6)]
("tiger" "sees" "dog" "+")
triple6
The tiger does not see the dog.
False
1
inv-proof
[(triple6)]
("tiger" "sees" "dog" "-")
triple6
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "-")
The dog likes the bear.
Unknown
random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "+")
@0: The bear sees the tiger.[(triple1)] The dog sees the rabbit.[(triple2)] The rabbit likes the dog.[(triple3)] The rabbit likes the tiger.[(triple4 OR ((triple3) -> rule1))] The rabbit visits the dog.[(triple5)] The tiger sees the dog.[(triple6)] The tiger visits the bear.[(triple7)] @1: The tiger likes the rabbit.[(((triple6) -> rule6))]
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple4
((triple3) -> (rule1 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple5
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
((triple6) -> (rule6 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1