The bald eagle is kind. The bald eagle is not red. The bald eagle sees the lion. The cat eats the lion. The cat is blue. The cat is cold. The cat is rough. The cat likes the lion. The cat does not see the bald eagle. The lion is not blue. The lion is not rough. The lion likes the cat. If something likes the cat and it eats the bald eagle then the bald eagle likes the cat. If the bald eagle sees the lion then the lion is red.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is not rough.
("lion" "is" "rough" "-")
The lion likes the cat.
("lion" "likes" "cat" "+")
If something likes the cat and it eats the bald eagle then the bald eagle likes the cat.
((("something" "likes" "cat" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
If the bald eagle sees the lion then the lion is red.
((("bald eagle" "sees" "lion" "+")) -> ("lion" "is" "red" "+"))
The bald eagle is not red.
True
1
proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The cat is not blue.
False
1
inv-proof
[(triple5)]
("cat" "is" "blue" "-")
triple5
The lion is red.
True
2
proof
[(((triple3) -> rule2))]
("lion" "is" "red" "+")
((triple3) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("lion" "is" "red" "-")
((triple3) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
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 cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The cat does not see the lion.
Unknown
inv-random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "-")
The bald eagle sees the cat.
Unknown
random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle sees the lion.[(triple3)] The cat does not see the bald eagle.[(triple9)] The cat eats the lion.[(triple4)] The cat is blue.[(triple5)] The cat is cold.[(triple6)] The cat is rough.[(triple7)] The cat likes the lion.[(triple8)] The lion is not blue.[(triple10)] The lion is not rough.[(triple11)] The lion likes the cat.[(triple12)] @1: The lion is red.[(((triple3) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
triple9
The cat eats the lion.
("cat" "eats" "lion" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat likes the lion.
("cat" "likes" "lion" "+")
triple8
The lion is not blue.
("lion" "is" "blue" "-")
triple10
The lion is not rough.
("lion" "is" "rough" "-")
triple11
The lion likes the cat.
("lion" "likes" "cat" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
((triple3) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1