The bald eagle does not eat the cat. The cat is not cold. The cow likes the cat. The lion eats the cat. If someone chases the cow then they like the cat. If the cat is not cold then the cat chases the cow. If someone likes the cat then the cat likes the cow. If someone likes the lion and the lion chases the cow then the lion chases the cat. If someone is red and they chase the cat then the cat does not chase the bald eagle. If the cow does not eat the bald eagle then the cow does not chase the bald eagle.
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The cat is not cold.
("cat" "is" "cold" "-")
The cow likes the cat.
("cow" "likes" "cat" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
If someone chases the cow then they like the cat.
((("someone" "chases" "cow" "+")) -> ("someone" "likes" "cat" "+"))
If the cat is not cold then the cat chases the cow.
((("cat" "is" "cold" "~")) -> ("cat" "chases" "cow" "+"))
If someone likes the cat then the cat likes the cow.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "cow" "+"))
If someone likes the lion and the lion chases the cow then the lion chases the cat.
((("someone" "likes" "lion" "+") ("lion" "chases" "cow" "+")) -> ("lion" "chases" "cat" "+"))
If someone is red and they chase the cat then the cat does not chase the bald eagle.
((("someone" "is" "red" "+") ("someone" "chases" "cat" "+")) -> ("cat" "chases" "bald eagle" "-"))
If the cow does not eat the bald eagle then the cow does not chase the bald eagle.
((("cow" "eats" "bald eagle" "~")) -> ("cow" "chases" "bald eagle" "-"))
The bald eagle does not eat the cat.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The cat is cold.
False
1
inv-proof
[(triple2)]
("cat" "is" "cold" "+")
triple2
The cat chases the cow.
True
2
proof
[(((triple2) -> rule2))]
("cat" "chases" "cow" "+")
((triple2) -> (rule2 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cat does not chase the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "chases" "cow" "-")
((triple2) -> (rule2 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cat likes the cat.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("cat" "likes" "cat" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cat does not like the cat.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("cat" "likes" "cat" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The lion does not chase the cat.
Unknown
inv-rconc
[@1: The lion chases the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "chases" "cat" "-")
The lion likes the cat.
Unknown
rconc
[@1: The lion likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "cat" "+")
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The lion does not chase the cow.
Unknown
inv-random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "-")
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 does not eat the cat.[(triple1)] The cat is not cold.[(triple2)] The cow likes the cat.[(triple3)] The lion eats the cat.[(triple4)] @1: The cat chases the cow.[(((triple2) -> rule2))] The cat likes the cow.[(((triple3) -> rule3) OR ((((((triple2) -> rule2)) -> rule1)) -> rule3))] @2: The cat likes the cat.[(((((triple2) -> rule2)) -> rule1))]
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple1
The cat is not cold.
("cat" "is" "cold" "-")
triple2
The cow likes the cat.
("cow" "likes" "cat" "+")
triple3
The lion eats the cat.
("lion" "eats" "cat" "+")
triple4
The cat chases the cow.
("cat" "chases" "cow" "+")
((triple2) -> (rule2 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
((triple3) -> (rule3 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2