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