The bear eats the squirrel. The bear is not kind. The cow eats the bear. The cow eats the squirrel. The cow is not kind. The cow does not see the bear. The cow sees the dog. The cow visits the squirrel. The dog is kind. The dog is red. The dog sees the bear. The squirrel eats the dog. If the dog sees the squirrel and the squirrel does not eat the cow then the cow eats the bear. If someone eats the bear and they are not kind then the bear is red. If someone visits the cow and they do not visit the bear then the bear is blue. If someone is kind and they visit the cow then they see the bear. If someone eats the squirrel then the squirrel is blue. If someone sees the cow then the cow visits the dog.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If the dog sees the squirrel and the squirrel does not eat the cow then the cow eats the bear.
((("dog" "sees" "squirrel" "+") ("squirrel" "eats" "cow" "~")) -> ("cow" "eats" "bear" "+"))
If someone eats the bear and they are not kind then the bear is red.
((("someone" "eats" "bear" "+") ("someone" "is" "kind" "~")) -> ("bear" "is" "red" "+"))
If someone visits the cow and they do not visit the bear then the bear is blue.
((("someone" "visits" "cow" "+") ("someone" "visits" "bear" "~")) -> ("bear" "is" "blue" "+"))
If someone is kind and they visit the cow then they see the bear.
((("someone" "is" "kind" "+") ("someone" "visits" "cow" "+")) -> ("someone" "sees" "bear" "+"))
If someone eats the squirrel then the squirrel is blue.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone sees the cow then the cow visits the dog.
((("someone" "sees" "cow" "+")) -> ("cow" "visits" "dog" "+"))
The dog sees the bear.
True
1
proof
[(triple11)]
("dog" "sees" "bear" "+")
triple11
The squirrel does not eat the dog.
False
1
inv-proof
[(triple12)]
("squirrel" "eats" "dog" "-")
triple12
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "blue" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is not kind.[(triple2)] The cow does not see the bear.[(triple6)] The cow eats the bear.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is not kind.[(triple5)] The cow sees the dog.[(triple7)] The cow visits the squirrel.[(triple8)] The dog is kind.[(triple9)] The dog is red.[(triple10)] The dog sees the bear.[(triple11)] The squirrel eats the dog.[(triple12)] @1: The bear is red.[(((triple3 triple5) -> rule2))] The squirrel is blue.[(((triple1) -> rule5) OR ((triple4) -> rule5))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is not kind.
("bear" "is" "kind" "-")
triple2
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple6
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple4
The cow is not kind.
("cow" "is" "kind" "-")
triple5
The cow sees the dog.
("cow" "sees" "dog" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The dog sees the bear.
("dog" "sees" "bear" "+")
triple11
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple12
The bear is red.
("bear" "is" "red" "+")
((triple3 triple5) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple4) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1