The bald eagle is red. The cat likes the bald eagle. If the bald eagle is round and the bald eagle is green then the bald eagle likes the cat. If something is red and it chases the cat then the cat is red. If the cat likes the bald eagle then the cat is round.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
If the bald eagle is round and the bald eagle is green then the bald eagle likes the cat.
((("bald eagle" "is" "round" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "likes" "cat" "+"))
If something is red and it chases the cat then the cat is red.
((("something" "is" "red" "+") ("something" "chases" "cat" "+")) -> ("cat" "is" "red" "+"))
If the cat likes the bald eagle then the cat is round.
((("cat" "likes" "bald eagle" "+")) -> ("cat" "is" "round" "+"))
The bald eagle is red.
True
1
proof
[(triple1)]
("bald eagle" "is" "red" "+")
triple1
The bald eagle is not red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The cat is round.
True
2
proof
[(((triple2) -> rule3))]
("cat" "is" "round" "+")
((triple2) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("cat" "is" "round" "-")
((triple2) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "red" "-")
The bald eagle likes the cat.
Unknown
rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cat" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle is red.[(triple1)] The cat likes the bald eagle.[(triple2)] @1: The cat is round.[(((triple2) -> rule3))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
((triple2) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1