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