The bear eats the dog. The bear likes the dog. The dog eats the bear. If someone sees the dog then they eat the dog. If someone likes the bear and they are big then they see the bear. If someone likes the dog then the dog sees the bear. If someone is blue and they like the dog then the dog likes the bear. If someone likes the bear then the bear is blue. If the dog is rough and the dog likes the bear then the dog eats the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
If someone sees the dog then they eat the dog.
((("someone" "sees" "dog" "+")) -> ("someone" "eats" "dog" "+"))
If someone likes the bear and they are big then they see the bear.
((("someone" "likes" "bear" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
If someone likes the dog then the dog sees the bear.
((("someone" "likes" "dog" "+")) -> ("dog" "sees" "bear" "+"))
If someone is blue and they like the dog then the dog likes the bear.
((("someone" "is" "blue" "+") ("someone" "likes" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If someone likes the bear then the bear is blue.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "blue" "+"))
If the dog is rough and the dog likes the bear then the dog eats the bear.
((("dog" "is" "rough" "+") ("dog" "likes" "bear" "+")) -> ("dog" "eats" "bear" "+"))
The dog eats the bear.
True
1
proof
[(triple3)]
("dog" "eats" "bear" "+")
triple3
The bear does not eat the dog.
False
1
inv-proof
[(triple1)]
("bear" "eats" "dog" "-")
triple1
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The bear eats the dog.[(triple1)] The bear likes the dog.[(triple2)] The dog eats the bear.[(triple3)] @1: The dog sees the bear.[(((triple2) -> rule3))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear likes the dog.
("bear" "likes" "dog" "+")
triple2
The dog eats the bear.
("dog" "eats" "bear" "+")
triple3
The dog sees the bear.
("dog" "sees" "bear" "+")
((triple2) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1