The bear chases the cow. The bear does not like the cow. The bear likes the lion. The cow chases the lion. The cow likes the bear. The dog chases the bear. The dog chases the lion. The dog is blue. The dog is rough. The lion does not chase the cow. The lion is not red. The lion is young. If something likes the lion and it is round then the lion does not visit the cow. If something chases the bear then it chases the cow. If something is rough then it visits the cow. If the dog likes the bear and the dog does not visit the lion then the dog visits the bear. If something likes the cow then the cow does not like the bear. If something visits the cow then it likes the dog. If the cow likes the dog and the cow does not like the bear then the bear is blue. If the cow does not like the dog and the cow is not blue then the cow chases the dog.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear does not like the cow.
("bear" "likes" "cow" "-")
The bear likes the lion.
("bear" "likes" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The lion does not chase the cow.
("lion" "chases" "cow" "-")
The lion is not red.
("lion" "is" "red" "-")
The lion is young.
("lion" "is" "young" "+")
If something likes the lion and it is round then the lion does not visit the cow.
((("something" "likes" "lion" "+") ("something" "is" "round" "+")) -> ("lion" "visits" "cow" "-"))
If something chases the bear then it chases the cow.
((("something" "chases" "bear" "+")) -> ("something" "chases" "cow" "+"))
If something is rough then it visits the cow.
((("something" "is" "rough" "+")) -> ("something" "visits" "cow" "+"))
If the dog likes the bear and the dog does not visit the lion then the dog visits the bear.
((("dog" "likes" "bear" "+") ("dog" "visits" "lion" "~")) -> ("dog" "visits" "bear" "+"))
If something likes the cow then the cow does not like the bear.
((("something" "likes" "cow" "+")) -> ("cow" "likes" "bear" "-"))
If something visits the cow then it likes the dog.
((("something" "visits" "cow" "+")) -> ("something" "likes" "dog" "+"))
If the cow likes the dog and the cow does not like the bear then the bear is blue.
((("cow" "likes" "dog" "+") ("cow" "likes" "bear" "~")) -> ("bear" "is" "blue" "+"))
If the cow does not like the dog and the cow is not blue then the cow chases the dog.
((("cow" "likes" "dog" "~") ("cow" "is" "blue" "~")) -> ("cow" "chases" "dog" "+"))
The dog chases the lion.
True
1
proof
[(triple7)]
("dog" "chases" "lion" "+")
triple7
The bear likes the cow.
False
1
inv-proof
[(triple2)]
("bear" "likes" "cow" "+")
triple2
The dog visits the cow.
True
2
proof
[(((triple9) -> rule3))]
("dog" "visits" "cow" "+")
((triple9) -> (rule3 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog does not chase the cow.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "chases" "cow" "-")
((triple6) -> (rule2 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog likes the dog.
True
3
proof
[(((((triple9) -> rule3)) -> rule6))]
("dog" "likes" "dog" "+")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The dog does not like the dog.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule6))]
("dog" "likes" "dog" "-")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The cow does not like the dog.
Unknown
inv-rconc
[@2: The cow likes the dog.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("cow" "likes" "dog" "-")
The bear likes the dog.
Unknown
rconc
[@2: The bear likes the dog.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("bear" "likes" "dog" "+")
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "cow" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The cow visits the dog.
Unknown
random
[@0: The cow visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "dog" "+")
@0: The bear chases the cow.[(triple1)] The bear does not like the cow.[(triple2)] The bear likes the lion.[(triple3)] The cow chases the lion.[(triple4)] The cow likes the bear.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the lion.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The lion does not chase the cow.[(triple10)] The lion is not red.[(triple11)] The lion is young.[(triple12)] @1: The dog chases the cow.[(((triple6) -> rule2))] The dog visits the cow.[(((triple9) -> rule3))] @2: The dog likes the dog.[(((((triple9) -> rule3)) -> rule6))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear does not like the cow.
("bear" "likes" "cow" "-")
triple2
The bear likes the lion.
("bear" "likes" "lion" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow likes the bear.
("cow" "likes" "bear" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple6
The dog chases the lion.
("dog" "chases" "lion" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The lion does not chase the cow.
("lion" "chases" "cow" "-")
triple10
The lion is not red.
("lion" "is" "red" "-")
triple11
The lion is young.
("lion" "is" "young" "+")
triple12
The dog chases the cow.
("dog" "chases" "cow" "+")
((triple6) -> (rule2 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
((triple9) -> (rule3 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2