The bald eagle likes the rabbit. The cat needs the bald eagle. The rabbit chases the cat. If someone likes the cat and they do not need the bald eagle then the bald eagle is rough. If someone chases the bald eagle then they are blue. If someone likes the rabbit then they need the rabbit. If someone needs the rabbit and they are round then they are not rough. If someone is red then they need the cat. If someone needs the cat then the cat is red. If someone chases the bald eagle and the bald eagle chases the rabbit then they are not round. If the rabbit likes the bald eagle and the bald eagle does not like the cat then the rabbit chases the bald eagle.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
If someone likes the cat and they do not need the bald eagle then the bald eagle is rough.
((("someone" "likes" "cat" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "is" "rough" "+"))
If someone chases the bald eagle then they are blue.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the rabbit then they need the rabbit.
((("someone" "likes" "rabbit" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the rabbit and they are round then they are not rough.
((("someone" "needs" "rabbit" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If someone is red then they need the cat.
((("someone" "is" "red" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the cat then the cat is red.
((("someone" "needs" "cat" "+")) -> ("cat" "is" "red" "+"))
If someone chases the bald eagle and the bald eagle chases the rabbit then they are not round.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "rabbit" "+")) -> ("someone" "is" "round" "-"))
If the rabbit likes the bald eagle and the bald eagle does not like the cat then the rabbit chases the bald eagle.
((("rabbit" "likes" "bald eagle" "+") ("bald eagle" "likes" "cat" "~")) -> ("rabbit" "chases" "bald eagle" "+"))
The rabbit chases the cat.
True
1
proof
[(triple3)]
("rabbit" "chases" "cat" "+")
triple3
The cat does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "needs" "bald eagle" "-")
triple2
The bald eagle needs the rabbit.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "needs" "rabbit" "+")
((triple1) -> (rule3 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle does not need the rabbit.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "needs" "rabbit" "-")
((triple1) -> (rule3 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The cat needs the bald eagle.[(triple2)] The rabbit chases the cat.[(triple3)] @1: The bald eagle needs the rabbit.[(((triple1) -> rule3))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple2
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
((triple1) -> (rule3 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1