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