The bald eagle likes the cow. The cat sees the bald eagle. The cow sees the bald eagle. If someone likes the bald eagle and they are big then the bald eagle sees the cat. If someone is rough then they see the cow.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If someone likes the bald eagle and they are big then the bald eagle sees the cat.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "big" "+")) -> ("bald eagle" "sees" "cat" "+"))
If someone is rough then they see the cow.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "cow" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle does not like the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cow" "-")
triple1
The bald eagle does not see the cat.
Unknown
inv-rconc
[@1: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "cat" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bald eagle likes the cow.[(triple1)] The cat sees the bald eagle.[(triple2)] The cow sees the bald eagle.[(triple3)]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple3