The bald eagle chases the bear. The bald eagle is young. The bald eagle likes the bear. The bear is blue. The bear visits the bald eagle. The bear visits the squirrel. The squirrel chases the bear. The squirrel is green. The squirrel visits the tiger. The tiger is big. The tiger likes the bald eagle. The tiger does not visit the bald eagle. If something is big and it likes the bear then it is red. If something likes the bald eagle then the bald eagle does not visit the tiger.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
If something is big and it likes the bear then it is red.
((("something" "is" "big" "+") ("something" "likes" "bear" "+")) -> ("something" "is" "red" "+"))
If something likes the bald eagle then the bald eagle does not visit the tiger.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "-"))
The bear visits the bald eagle.
True
1
proof
[(triple5)]
("bear" "visits" "bald eagle" "+")
triple5
The tiger is not big.
False
1
inv-proof
[(triple10)]
("tiger" "is" "big" "-")
triple10
The bald eagle does not visit the tiger.
True
2
proof
[(((triple11) -> rule2))]
("bald eagle" "visits" "tiger" "-")
((triple11) -> (rule2 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1
The bald eagle visits the tiger.
False
2
inv-proof
[(((triple11) -> rule2))]
("bald eagle" "visits" "tiger" "+")
((triple11) -> (rule2 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The bald eagle visits the squirrel.
Unknown
random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear is blue.[(triple4)] The bear visits the bald eagle.[(triple5)] The bear visits the squirrel.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel is green.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger does not visit the bald eagle.[(triple12)] The tiger is big.[(triple10)] The tiger likes the bald eagle.[(triple11)] @1: The bald eagle does not visit the tiger.[(((triple11) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple9
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
((triple11) -> (rule2 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1