The bald eagle needs the tiger. The dog needs the bald eagle. The tiger is green. If something is green then it likes the bald eagle.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
If something is green then it likes the bald eagle.
((("something" "is" "green" "+")) -> ("something" "likes" "bald eagle" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple1)]
("bald eagle" "needs" "tiger" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple3)]
("tiger" "is" "green" "-")
triple3
The tiger likes the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("tiger" "likes" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger does not like the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("tiger" "likes" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The dog likes the bald eagle.
Unknown
rconc
[@1: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "bald eagle" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
@0: The bald eagle needs the tiger.[(triple1)] The dog needs the bald eagle.[(triple2)] The tiger is green.[(triple3)] @1: The tiger likes the bald eagle.[(((triple3) -> rule1))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple2
The tiger is green.
("tiger" "is" "green" "+")
triple3
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1