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