The bald eagle is not nice. The cat eats the bald eagle. If something is kind then it likes the cat. If something likes the bald eagle then it does not eat the bald eagle. If something eats the bald eagle then it is kind. Round things are kind. If something likes the cat then it does not eat the cat. If something is rough and it likes the cat then it eats the cat. If the cat eats the bald eagle and the cat does not chase the bald eagle then the bald eagle likes the cat. If the bald eagle does not chase the cat and the bald eagle is not kind then the bald eagle eats the cat.
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
If something is kind then it likes the cat.
((("something" "is" "kind" "+")) -> ("something" "likes" "cat" "+"))
If something likes the bald eagle then it does not eat the bald eagle.
((("something" "likes" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "-"))
If something eats the bald eagle then it is kind.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something likes the cat then it does not eat the cat.
((("something" "likes" "cat" "+")) -> ("something" "eats" "cat" "-"))
If something is rough and it likes the cat then it eats the cat.
((("something" "is" "rough" "+") ("something" "likes" "cat" "+")) -> ("something" "eats" "cat" "+"))
If the cat eats the bald eagle and the cat does not chase the bald eagle then the bald eagle likes the cat.
((("cat" "eats" "bald eagle" "+") ("cat" "chases" "bald eagle" "~")) -> ("bald eagle" "likes" "cat" "+"))
If the bald eagle does not chase the cat and the bald eagle is not kind then the bald eagle eats the cat.
((("bald eagle" "chases" "cat" "~") ("bald eagle" "is" "kind" "~")) -> ("bald eagle" "eats" "cat" "+"))
The bald eagle is not nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "eats" "bald eagle" "-")
triple2
The cat is kind.
True
2
proof
[(((triple2) -> rule3))]
("cat" "is" "kind" "+")
((triple2) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple2) -> rule3))]
("cat" "is" "kind" "-")
((triple2) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the cat.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("cat" "likes" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not like the cat.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("cat" "likes" "cat" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not eat the cat.
True
4
proof
[(((((((triple2) -> rule3)) -> rule1)) -> rule5))]
("cat" "eats" "cat" "-")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat eats the cat.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule1)) -> rule5))]
("cat" "eats" "cat" "+")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The bald eagle does not like the cat.
Unknown
inv-rconc
[@2: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The bald eagle does not eat the cat.
Unknown
inv-rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "cat" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is not nice.[(triple1)] The cat eats the bald eagle.[(triple2)] @1: The cat is kind.[(((triple2) -> rule3))] @2: The cat likes the cat.[(((((triple2) -> rule3)) -> rule1))] @3: The cat does not eat the cat.[(((((((triple2) -> rule3)) -> rule1)) -> rule5))]
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
((triple2) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not eat the cat.
("cat" "eats" "cat" "-")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3