The bald eagle likes the dog. The bald eagle likes the squirrel. The cat sees the bald eagle. The cat sees the squirrel. The dog is big. The dog is green. The dog sees the bald eagle. The dog sees the cat. The squirrel chases the cat. The squirrel likes the dog. If something sees the bald eagle and it likes the bald eagle then the bald eagle chases the squirrel. If something is blue and it sees the squirrel then the squirrel chases the cat.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something sees the bald eagle and it likes the bald eagle then the bald eagle chases the squirrel.
((("something" "sees" "bald eagle" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If something is blue and it sees the squirrel then the squirrel chases the cat.
((("something" "is" "blue" "+") ("something" "sees" "squirrel" "+")) -> ("squirrel" "chases" "cat" "+"))
The cat sees the bald eagle.
True
1
proof
[(triple3)]
("cat" "sees" "bald eagle" "+")
triple3
The dog does not see the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "sees" "bald eagle" "-")
triple7
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The squirrel sees the bald eagle.
Unknown
random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The cat sees the bald eagle.[(triple3)] The cat sees the squirrel.[(triple4)] The dog is big.[(triple5)] The dog is green.[(triple6)] The dog sees the bald eagle.[(triple7)] The dog sees the cat.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel likes the dog.[(triple10)]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple3
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple7
The dog sees the cat.
("dog" "sees" "cat" "+")
triple8
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10