The bear is rough. The bear likes the mouse. The dog eats the lion. The dog is cold. The dog is young. The lion eats the dog. The lion is red. The lion visits the bear. The lion visits the mouse. The mouse visits the bear. If the lion visits the dog and the lion eats the dog then the lion visits the bear. If someone likes the mouse then they like the lion. If someone likes the dog and they visit the lion then the dog visits the lion. If someone likes the lion then the lion likes the bear. If someone visits the dog then the dog visits the lion. If someone is rough and they like the bear then the bear likes the dog.
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is young.
("dog" "is" "young" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is red.
("lion" "is" "red" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If the lion visits the dog and the lion eats the dog then the lion visits the bear.
((("lion" "visits" "dog" "+") ("lion" "eats" "dog" "+")) -> ("lion" "visits" "bear" "+"))
If someone likes the mouse then they like the lion.
((("someone" "likes" "mouse" "+")) -> ("someone" "likes" "lion" "+"))
If someone likes the dog and they visit the lion then the dog visits the lion.
((("someone" "likes" "dog" "+") ("someone" "visits" "lion" "+")) -> ("dog" "visits" "lion" "+"))
If someone likes the lion then the lion likes the bear.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If someone visits the dog then the dog visits the lion.
((("someone" "visits" "dog" "+")) -> ("dog" "visits" "lion" "+"))
If someone is rough and they like the bear then the bear likes the dog.
((("someone" "is" "rough" "+") ("someone" "likes" "bear" "+")) -> ("bear" "likes" "dog" "+"))
The lion visits the bear.
True
1
proof
[(triple8)]
("lion" "visits" "bear" "+")
triple8
The lion does not visit the mouse.
False
1
inv-proof
[(triple9)]
("lion" "visits" "mouse" "-")
triple9
The bear likes the lion.
True
2
proof
[(((triple2) -> rule2))]
("bear" "likes" "lion" "+")
((triple2) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear does not like the lion.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "likes" "lion" "-")
((triple2) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion likes the bear.
True
3
proof
[(((((triple2) -> rule2)) -> rule4))]
("lion" "likes" "bear" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The lion does not like the bear.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule4))]
("lion" "likes" "bear" "-")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The dog does not visit the lion.
Unknown
inv-rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "lion" "-")
The dog likes the lion.
Unknown
rconc
[@1: The dog likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "lion" "+")
The mouse does not like the lion.
Unknown
inv-rconc
[@1: The mouse likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "lion" "-")
The dog likes the bear.
Unknown
random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "+")
The bear does not visit the mouse.
Unknown
inv-random
[@0: The bear visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "mouse" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bear is rough.[(triple1)] The bear likes the mouse.[(triple2)] The dog eats the lion.[(triple3)] The dog is cold.[(triple4)] The dog is young.[(triple5)] The lion eats the dog.[(triple6)] The lion is red.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the mouse.[(triple9)] The mouse visits the bear.[(triple10)] @1: The bear likes the lion.[(((triple2) -> rule2))] @2: The lion likes the bear.[(((((triple2) -> rule2)) -> rule4))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The lion eats the dog.
("lion" "eats" "dog" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion visits the bear.
("lion" "visits" "bear" "+")
triple8
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple2) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2