The bear chases the dog. The bear is kind. The bear is rough. The bear likes the cat. The bear likes the dog. The bear needs the dog. The cat is blue. The cat is kind. The cat is not rough. The cat needs the bear. The dog does not chase the bear. The dog chases the cat. The dog likes the cat. The dog needs the bear. The dog does not need the cat. If someone likes the bear and the bear chases the dog then the dog is not blue. If someone is blue and they like the bear then they do not need the cat. If someone is rough and they need the dog then they chase the cat.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat needs the bear.
("cat" "needs" "bear" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog does not need the cat.
("dog" "needs" "cat" "-")
If someone likes the bear and the bear chases the dog then the dog is not blue.
((("someone" "likes" "bear" "+") ("bear" "chases" "dog" "+")) -> ("dog" "is" "blue" "-"))
If someone is blue and they like the bear then they do not need the cat.
((("someone" "is" "blue" "+") ("someone" "likes" "bear" "+")) -> ("someone" "needs" "cat" "-"))
If someone is rough and they need the dog then they chase the cat.
((("someone" "is" "rough" "+") ("someone" "needs" "dog" "+")) -> ("someone" "chases" "cat" "+"))
The cat is kind.
True
1
proof
[(triple8)]
("cat" "is" "kind" "+")
triple8
The bear does not need the dog.
False
1
inv-proof
[(triple6)]
("bear" "needs" "dog" "-")
triple6
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The bear chases the dog.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the dog.[(triple5)] The bear needs the dog.[(triple6)] The cat is blue.[(triple7)] The cat is kind.[(triple8)] The cat is not rough.[(triple9)] The cat needs the bear.[(triple10)] The dog chases the cat.[(triple12)] The dog does not chase the bear.[(triple11)] The dog does not need the cat.[(triple15)] The dog likes the cat.[(triple13)] The dog needs the bear.[(triple14)] @1: The bear chases the cat.[(((triple3 triple6) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat is not rough.
("cat" "is" "rough" "-")
triple9
The cat needs the bear.
("cat" "needs" "bear" "+")
triple10
The dog chases the cat.
("dog" "chases" "cat" "+")
triple12
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple11
The dog does not need the cat.
("dog" "needs" "cat" "-")
triple15
The dog likes the cat.
("dog" "likes" "cat" "+")
triple13
The dog needs the bear.
("dog" "needs" "bear" "+")
triple14
The bear chases the cat.
("bear" "chases" "cat" "+")
((triple3 triple6) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1