The bald eagle chases the cat. The bald eagle is kind. The cat likes the bald eagle. If something eats the cat and it chases the cat then the cat chases the bald eagle. If something eats the bald eagle and the bald eagle is red then it likes the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
If something eats the cat and it chases the cat then the cat chases the bald eagle.
((("something" "eats" "cat" "+") ("something" "chases" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If something eats the bald eagle and the bald eagle is red then it likes the cat.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("something" "likes" "cat" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2)] The cat likes the bald eagle.[(triple3)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple3