The bald eagle eats the cat. The bald eagle eats the tiger. The bear is red. The bear is rough. The cat is not cold. The tiger is not red. The tiger does not visit the bear. If something eats the bear and it likes the bald eagle then the bald eagle is rough. If something eats the tiger then it is blue.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
If something eats the bear and it likes the bald eagle then the bald eagle is rough.
((("something" "eats" "bear" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If something eats the tiger then it is blue.
((("something" "eats" "tiger" "+")) -> ("something" "is" "blue" "+"))
The tiger does not visit the bear.
True
1
proof
[(triple7)]
("tiger" "visits" "bear" "-")
triple7
The tiger visits the bear.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "bear" "+")
triple7
The bald eagle is blue.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "is" "blue" "-")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "blue" "-")
The cat is blue.
Unknown
rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "blue" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The bear visits the tiger.
Unknown
random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The cat is not cold.[(triple5)] The tiger does not visit the bear.[(triple7)] The tiger is not red.[(triple6)] @1: The bald eagle is blue.[(((triple2) -> rule2))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The cat is not cold.
("cat" "is" "cold" "-")
triple5
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
triple7
The tiger is not red.
("tiger" "is" "red" "-")
triple6
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1