The bald eagle likes the cat. The cat chases the lion. The cat is blue. The cat likes the bald eagle. The cat needs the lion. The lion chases the cat. The lion is rough. If something chases the lion then the lion chases the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is rough.
("lion" "is" "rough" "+")
If something chases the lion then the lion chases the bald eagle.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
The lion chases the cat.
True
1
proof
[(triple6)]
("lion" "chases" "cat" "+")
triple6
The bald eagle does not like the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cat" "-")
triple1
The lion chases the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("lion" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the cat.
Unknown
inv-random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The lion likes the bald eagle.
Unknown
random
[@0: The lion likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bald eagle" "+")
@0: The bald eagle likes the cat.[(triple1)] The cat chases the lion.[(triple2)] The cat is blue.[(triple3)] The cat likes the bald eagle.[(triple4)] The cat needs the lion.[(triple5)] The lion chases the cat.[(triple6)] The lion is rough.[(triple7)] @1: The lion chases the bald eagle.[(((triple2) -> rule1))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat chases the lion.
("cat" "chases" "lion" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple4
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
The lion chases the cat.
("lion" "chases" "cat" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1