The bald eagle chases the cat. The cat is rough. The cat likes the bald eagle. If the cat is kind and the cat needs the bald eagle then the cat chases the bald eagle. If the cat is green then the cat chases the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
If the cat is kind and the cat needs the bald eagle then the cat chases the bald eagle.
((("cat" "is" "kind" "+") ("cat" "needs" "bald eagle" "+")) -> ("cat" "chases" "bald eagle" "+"))
If the cat is green then the cat chases the bald eagle.
((("cat" "is" "green" "+")) -> ("cat" "chases" "bald eagle" "+"))
The cat is rough.
True
1
proof
[(triple2)]
("cat" "is" "rough" "+")
triple2
The cat does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("cat" "likes" "bald eagle" "-")
triple3
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 needs the bald eagle.
Unknown
random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The cat is rough.[(triple2)] The cat likes the bald eagle.[(triple3)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple3