The bald eagle chases the dog. The dog chases the bald eagle. The lion likes the dog. The squirrel chases the lion. If someone sees the dog then the dog chases the lion. If the bald eagle likes the lion then the lion chases the bald eagle. If the dog is blue and the dog is green then the dog chases the lion. If someone likes the bald eagle then the bald eagle likes the dog. If someone is big and they see the squirrel then they are blue. If someone sees the bald eagle and the bald eagle likes the squirrel then the squirrel is kind.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
If someone sees the dog then the dog chases the lion.
((("someone" "sees" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If the bald eagle likes the lion then the lion chases the bald eagle.
((("bald eagle" "likes" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If the dog is blue and the dog is green then the dog chases the lion.
((("dog" "is" "blue" "+") ("dog" "is" "green" "+")) -> ("dog" "chases" "lion" "+"))
If someone likes the bald eagle then the bald eagle likes the dog.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone is big and they see the squirrel then they are blue.
((("someone" "is" "big" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the bald eagle and the bald eagle likes the squirrel then the squirrel is kind.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
The squirrel chases the lion.
True
1
proof
[(triple4)]
("squirrel" "chases" "lion" "+")
triple4
The squirrel does not chase the lion.
False
1
inv-proof
[(triple4)]
("squirrel" "chases" "lion" "-")
triple4
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel sees the lion.
Unknown
random
[@0: The squirrel sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "lion" "+")
@0: The bald eagle chases the dog.[(triple1)] The dog chases the bald eagle.[(triple2)] The lion likes the dog.[(triple3)] The squirrel chases the lion.[(triple4)]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The lion likes the dog.
("lion" "likes" "dog" "+")
triple3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple4