The bear likes the tiger. The bear needs the tiger. The dog is young. The dog visits the tiger. The tiger is big. The tiger needs the bear. The tiger visits the dog. If something visits the tiger and it is young then it likes the bear.
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If something visits the tiger and it is young then it likes the bear.
((("something" "visits" "tiger" "+") ("something" "is" "young" "+")) -> ("something" "likes" "bear" "+"))
The tiger visits the dog.
True
1
proof
[(triple7)]
("tiger" "visits" "dog" "+")
triple7
The tiger does not visit the dog.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "dog" "-")
triple7
The dog likes the bear.
True
3
proof
[(((triple4 triple3) -> rule1))]
("dog" "likes" "bear" "+")
((triple4 triple3) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog does not like the bear.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("dog" "likes" "bear" "-")
((triple4 triple3) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "-")
The tiger likes the bear.
Unknown
rconc
[@1: The tiger likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "bear" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bear likes the tiger.[(triple1)] The bear needs the tiger.[(triple2)] The dog is young.[(triple3)] The dog visits the tiger.[(triple4)] The tiger is big.[(triple5)] The tiger needs the bear.[(triple6)] The tiger visits the dog.[(triple7)] @1: The dog likes the bear.[(((triple4 triple3) -> rule1))]
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple4
The tiger is big.
("tiger" "is" "big" "+")
triple5
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple6
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple7
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple4 triple3) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1