The cow likes the lion. The cow sees the lion. The dog visits the squirrel. The lion likes the cow. The lion likes the squirrel. The squirrel likes the dog. The squirrel sees the cow. If someone is kind and they see the dog then the dog likes the squirrel. If someone visits the squirrel then the squirrel likes the lion. If someone is rough then they visit the cow. If the squirrel sees the cow and the cow sees the squirrel then the squirrel likes the dog. If someone visits the squirrel then they like the squirrel. If someone likes the cow and they visit the lion then they visit the cow. If someone sees the cow and the cow is blue then they see the lion. If someone is big and they like the dog then they like the cow.
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone is kind and they see the dog then the dog likes the squirrel.
((("someone" "is" "kind" "+") ("someone" "sees" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If someone visits the squirrel then the squirrel likes the lion.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
If someone is rough then they visit the cow.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "cow" "+"))
If the squirrel sees the cow and the cow sees the squirrel then the squirrel likes the dog.
((("squirrel" "sees" "cow" "+") ("cow" "sees" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If someone visits the squirrel then they like the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the cow and they visit the lion then they visit the cow.
((("someone" "likes" "cow" "+") ("someone" "visits" "lion" "+")) -> ("someone" "visits" "cow" "+"))
If someone sees the cow and the cow is blue then they see the lion.
((("someone" "sees" "cow" "+") ("cow" "is" "blue" "+")) -> ("someone" "sees" "lion" "+"))
If someone is big and they like the dog then they like the cow.
((("someone" "is" "big" "+") ("someone" "likes" "dog" "+")) -> ("someone" "likes" "cow" "+"))
The squirrel likes the dog.
True
1
proof
[(triple6)]
("squirrel" "likes" "dog" "+")
triple6
The lion does not like the squirrel.
False
1
inv-proof
[(triple5)]
("lion" "likes" "squirrel" "-")
triple5
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "sees" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The cow likes the lion.[(triple1)] The cow sees the lion.[(triple2)] The dog visits the squirrel.[(triple3)] The lion likes the cow.[(triple4)] The lion likes the squirrel.[(triple5)] The squirrel likes the dog.[(triple6)] The squirrel sees the cow.[(triple7)] @1: The dog likes the squirrel.[(((triple3) -> rule5))] The squirrel likes the lion.[(((triple3) -> rule2))]
The cow likes the lion.
("cow" "likes" "lion" "+")
triple1
The cow sees the lion.
("cow" "sees" "lion" "+")
triple2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple3
The lion likes the cow.
("lion" "likes" "cow" "+")
triple4
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple5
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple6
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple7
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple3) -> (rule5 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((triple3) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1