The bear does not chase the dog. The bear chases the squirrel. The bear eats the dog. The bear eats the squirrel. The bear is not round. The bear sees the dog. The dog does not chase the bear. The dog eats the bear. The dog is big. The dog sees the bear. The dog does not see the squirrel. The squirrel chases the dog. The squirrel is big. The squirrel is not rough. The squirrel does not see the bear. The squirrel does not see the dog. If something is kind and it does not chase the dog then it is not rough. If something eats the dog and it is not blue then it sees the bear. If something eats the dog and it does not eat the squirrel then the squirrel is not round. If something sees the bear and the bear is round then it chases the squirrel. If something eats the squirrel and the squirrel eats the bear then the squirrel eats the dog. If the dog is kind then the dog does not eat the bear.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
If something is kind and it does not chase the dog then it is not rough.
((("something" "is" "kind" "+") ("something" "chases" "dog" "~")) -> ("something" "is" "rough" "-"))
If something eats the dog and it is not blue then it sees the bear.
((("something" "eats" "dog" "+") ("something" "is" "blue" "~")) -> ("something" "sees" "bear" "+"))
If something eats the dog and it does not eat the squirrel then the squirrel is not round.
((("something" "eats" "dog" "+") ("something" "eats" "squirrel" "~")) -> ("squirrel" "is" "round" "-"))
If something sees the bear and the bear is round then it chases the squirrel.
((("something" "sees" "bear" "+") ("bear" "is" "round" "+")) -> ("something" "chases" "squirrel" "+"))
If something eats the squirrel and the squirrel eats the bear then the squirrel eats the dog.
((("something" "eats" "squirrel" "+") ("squirrel" "eats" "bear" "+")) -> ("squirrel" "eats" "dog" "+"))
If the dog is kind then the dog does not eat the bear.
((("dog" "is" "kind" "+")) -> ("dog" "eats" "bear" "-"))
The squirrel chases the dog.
True
1
proof
[(triple12)]
("squirrel" "chases" "dog" "+")
triple12
The squirrel is rough.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "rough" "+")
triple14
The dog does not chase the squirrel.
Unknown
inv-rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "chases" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear chases the squirrel.[(triple2)] The bear does not chase the dog.[(triple1)] The bear eats the dog.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is not round.[(triple5)] The bear sees the dog.[(triple6)] The dog does not chase the bear.[(triple7)] The dog does not see the squirrel.[(triple11)] The dog eats the bear.[(triple8)] The dog is big.[(triple9)] The dog sees the bear.[(triple10)] The squirrel chases the dog.[(triple12)] The squirrel does not see the bear.[(triple15)] The squirrel does not see the dog.[(triple16)] The squirrel is big.[(triple13)] The squirrel is not rough.[(triple14)]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple4
The bear is not round.
("bear" "is" "round" "-")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple7
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
triple11
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple12
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
triple15
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
triple16
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple14