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