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