The bear eats the cow. The bear is red. The bear visits the cow. The cat eats the cow. The cat is red. The cat likes the dog. The cat visits the bear. The cow is red. The cow likes the dog. The cow visits the cat. The dog eats the bear. The dog visits the cat. If someone visits the bear then the bear is green. If someone eats the cow and they are green then they like the dog. If someone eats the dog and the dog likes the cow then they are red.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is red.
("bear" "is" "red" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If someone visits the bear then the bear is green.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone eats the cow and they are green then they like the dog.
((("someone" "eats" "cow" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "dog" "+"))
If someone eats the dog and the dog likes the cow then they are red.
((("someone" "eats" "dog" "+") ("dog" "likes" "cow" "+")) -> ("someone" "is" "red" "+"))
The bear visits the cow.
True
1
proof
[(triple3)]
("bear" "visits" "cow" "+")
triple3
The dog does not eat the bear.
False
1
inv-proof
[(triple11)]
("dog" "eats" "bear" "-")
triple11
The bear is green.
True
2
proof
[(((triple7) -> rule1))]
("bear" "is" "green" "+")
((triple7) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "is" "green" "-")
((triple7) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the dog.
True
4
proof
[(((triple1 ((triple7) -> rule1)) -> rule2))]
("bear" "likes" "dog" "+")
((triple1 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not like the dog.
False
4
inv-proof
[(((triple1 ((triple7) -> rule1)) -> rule2))]
("bear" "likes" "dog" "-")
((triple1 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "red" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The cow does not like the bear.
Unknown
inv-random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "-")
The cow eats the cat.
Unknown
random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "+")
@0: The bear eats the cow.[(triple1)] The bear is red.[(triple2)] The bear visits the cow.[(triple3)] The cat eats the cow.[(triple4)] The cat is red.[(triple5)] The cat likes the dog.[(triple6)] The cat visits the bear.[(triple7)] The cow is red.[(triple8)] The cow likes the dog.[(triple9)] The cow visits the cat.[(triple10)] The dog eats the bear.[(triple11)] The dog visits the cat.[(triple12)] @1: The bear is green.[(((triple7) -> rule1))] @2: The bear likes the dog.[(((triple1 ((triple7) -> rule1)) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear visits the cow.
("bear" "visits" "cow" "+")
triple3
The cat eats the cow.
("cat" "eats" "cow" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The cow likes the dog.
("cow" "likes" "dog" "+")
triple9
The cow visits the cat.
("cow" "visits" "cat" "+")
triple10
The dog eats the bear.
("dog" "eats" "bear" "+")
triple11
The dog visits the cat.
("dog" "visits" "cat" "+")
triple12
The bear is green.
("bear" "is" "green" "+")
((triple7) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple1 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2