The bear sees the lion. The cow likes the dog. The dog is green. The dog is young. The dog likes the lion. The dog sees the cow. The dog visits the bear. The lion likes the bear. The lion likes the cow. The lion visits the cow. If someone is red then they see the bear. If someone likes the cow then they see the dog. If someone visits the bear and they are nice then the bear sees the lion. If someone visits the dog and they are not red then they like the cow. If the cow does not visit the lion then the lion visits the bear. If the dog sees the lion and the lion does not visit the cow then the cow sees the lion. If someone visits the cow and they are not nice then they are not green. If someone sees the lion then they like the dog.
The bear sees the lion.
("bear" "sees" "lion" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If someone is red then they see the bear.
((("someone" "is" "red" "+")) -> ("someone" "sees" "bear" "+"))
If someone likes the cow then they see the dog.
((("someone" "likes" "cow" "+")) -> ("someone" "sees" "dog" "+"))
If someone visits the bear and they are nice then the bear sees the lion.
((("someone" "visits" "bear" "+") ("someone" "is" "nice" "+")) -> ("bear" "sees" "lion" "+"))
If someone visits the dog and they are not red then they like the cow.
((("someone" "visits" "dog" "+") ("someone" "is" "red" "~")) -> ("someone" "likes" "cow" "+"))
If the cow does not visit the lion then the lion visits the bear.
((("cow" "visits" "lion" "~")) -> ("lion" "visits" "bear" "+"))
If the dog sees the lion and the lion does not visit the cow then the cow sees the lion.
((("dog" "sees" "lion" "+") ("lion" "visits" "cow" "~")) -> ("cow" "sees" "lion" "+"))
If someone visits the cow and they are not nice then they are not green.
((("someone" "visits" "cow" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "green" "-"))
If someone sees the lion then they like the dog.
((("someone" "sees" "lion" "+")) -> ("someone" "likes" "dog" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The cow does not like the dog.
False
1
inv-proof
[(triple2)]
("cow" "likes" "dog" "-")
triple2
The lion does not see the bear.
Unknown
inv-rconc
[@1: The lion sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "bear" "-")
The dog likes the bear.
Unknown
random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "+")
@0: The bear sees the lion.[(triple1)] The cow likes the dog.[(triple2)] The dog is green.[(triple3)] The dog is young.[(triple4)] The dog likes the lion.[(triple5)] The dog sees the cow.[(triple6)] The dog visits the bear.[(triple7)] The lion likes the bear.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the cow.[(triple10)] @1: The bear likes the dog.[(((triple1) -> rule8))] The lion sees the dog.[(((triple9) -> rule2))]
The bear sees the lion.
("bear" "sees" "lion" "+")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple5
The dog sees the cow.
("dog" "sees" "cow" "+")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The lion likes the cow.
("lion" "likes" "cow" "+")
triple9
The lion visits the cow.
("lion" "visits" "cow" "+")
triple10
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple1) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
((triple9) -> (rule2 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1