The bald eagle eats the bear. The bald eagle eats the cat. The bald eagle is rough. The bald eagle visits the bear. The bear eats the bald eagle. The bear is kind. The bear likes the rabbit. The bear visits the cat. The cat eats the bald eagle. The cat eats the bear. The cat is kind. The cat likes the bear. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is green. The rabbit likes the bald eagle. If something likes the bald eagle and it is cold then the bald eagle eats the bear. All kind things are green.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If something likes the bald eagle and it is cold then the bald eagle eats the bear.
((("something" "likes" "bald eagle" "+") ("something" "is" "cold" "+")) -> ("bald eagle" "eats" "bear" "+"))
All kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
The bear is kind.
True
1
proof
[(triple6)]
("bear" "is" "kind" "+")
triple6
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "bear" "-")
triple4
The cat is green.
True
2
proof
[(((triple11) -> rule2))]
("cat" "is" "green" "+")
((triple11) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "is" "green" "-")
((triple6) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The cat does not visit the bald eagle.
Unknown
inv-random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is kind.[(triple6)] The bear likes the rabbit.[(triple7)] The bear visits the cat.[(triple8)] The cat eats the bald eagle.[(triple9)] The cat eats the bear.[(triple10)] The cat is kind.[(triple11)] The cat likes the bear.[(triple12)] The rabbit eats the bald eagle.[(triple13)] The rabbit is blue.[(triple14)] The rabbit is green.[(triple15)] The rabbit likes the bald eagle.[(triple16)] @1: The bear is green.[(((triple6) -> rule2))] The cat is green.[(((triple11) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The bear visits the cat.
("bear" "visits" "cat" "+")
triple8
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple9
The cat eats the bear.
("cat" "eats" "bear" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
triple11
The cat likes the bear.
("cat" "likes" "bear" "+")
triple12
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple13
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple14
The rabbit is green.
("rabbit" "is" "green" "+")
triple15
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple16
The bear is green.
("bear" "is" "green" "+")
((triple6) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat is green.
("cat" "is" "green" "+")
((triple11) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1