The bald eagle likes the bear. The bald eagle likes the dog. The bear is green. The bear likes the tiger. The dog likes the tiger. The tiger is young. The tiger sees the bald eagle. If someone likes the bear then they see the bear.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone likes the bear then they see the bear.
((("someone" "likes" "bear" "+")) -> ("someone" "sees" "bear" "+"))
The dog likes the tiger.
True
1
proof
[(triple5)]
("dog" "likes" "tiger" "+")
triple5
The bear does not like the tiger.
False
1
inv-proof
[(triple4)]
("bear" "likes" "tiger" "-")
triple4
The bald eagle sees the bear.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle does not see the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "bear" "-")
((triple1) -> (rule1 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The tiger sees the bear.
Unknown
rconc
[@1: The tiger sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "bear" "+")
The bald eagle does not see the dog.
Unknown
inv-random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the dog.[(triple2)] The bear is green.[(triple3)] The bear likes the tiger.[(triple4)] The dog likes the tiger.[(triple5)] The tiger is young.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle sees the bear.[(((triple1) -> rule1))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1