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