The bald eagle is green. The cat eats the bald eagle. The dog is red. The tiger needs the dog. If someone chases the dog and they are young then the dog is green.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The dog is red.
("dog" "is" "red" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If someone chases the dog and they are young then the dog is green.
((("someone" "chases" "dog" "+") ("someone" "is" "young" "+")) -> ("dog" "is" "green" "+"))
The bald eagle is green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "green" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle is green.[(triple1)] The cat eats the bald eagle.[(triple2)] The dog is red.[(triple3)] The tiger needs the dog.[(triple4)]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple4