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