The bald eagle chases the cat. The bald eagle chases the rabbit. The bald eagle is rough. The bald eagle needs the cat. The bald eagle needs the rabbit. The cat chases the rabbit. The cat needs the bald eagle. The cat needs the rabbit. The rabbit is kind. The rabbit likes the bald eagle. If someone chases the cat then the cat likes the rabbit. If someone likes the bald eagle then they chase the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If someone chases the cat then the cat likes the rabbit.
((("someone" "chases" "cat" "+")) -> ("cat" "likes" "rabbit" "+"))
If someone likes the bald eagle then they chase the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not need the cat.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "cat" "-")
triple4
The cat likes the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("cat" "likes" "rabbit" "+")
((triple1) -> (rule1 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit does not chase the bald eagle.
False
2
inv-proof
[(((triple10) -> rule2))]
("rabbit" "chases" "bald eagle" "-")
((triple10) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The cat chases the rabbit.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat needs the rabbit.[(triple8)] The rabbit is kind.[(triple9)] The rabbit likes the bald eagle.[(triple10)] @1: The cat likes the rabbit.[(((triple1) -> rule1))] The rabbit chases the bald eagle.[(((triple10) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple5
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple6
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple7
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
((triple1) -> (rule1 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1