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