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