The bald eagle does not chase the bear. The bald eagle does not chase the cat. The bald eagle is cold. The bald eagle is young. The bald eagle needs the bear. The bald eagle visits the bear. The bear is red. The cat chases the bald eagle. The cat chases the bear. The cat needs the bear. If something visits the bald eagle then the bald eagle is green.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
If something visits the bald eagle then the bald eagle is green.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
The cat needs the bear.
True
1
proof
[(triple10)]
("cat" "needs" "bear" "+")
triple10
The bear is not red.
False
1
inv-proof
[(triple7)]
("bear" "is" "red" "-")
triple7
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle does not chase the cat.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle visits the bear.[(triple6)] The bear is red.[(triple7)] The cat chases the bald eagle.[(triple8)] The cat chases the bear.[(triple9)] The cat needs the bear.[(triple10)]
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple8
The cat chases the bear.
("cat" "chases" "bear" "+")
triple9
The cat needs the bear.
("cat" "needs" "bear" "+")
triple10