The bear is big. The bear is not blue. The bear is green. The bear likes the tiger. The bear needs the squirrel. The bear needs the tiger. The squirrel likes the bear. The tiger is blue. The tiger is not red. The tiger needs the squirrel. If someone is big then they like the squirrel. If someone needs the bear and the bear is young then they like the bear. If someone visits the tiger and the tiger visits the bear then the bear needs the tiger. If someone visits the squirrel then they do not need the bear. If someone likes the squirrel and the squirrel visits the tiger then the tiger does not need the squirrel. If someone is blue and they like the tiger then the tiger is red. If someone needs the bear and they are not big then the bear is red. If someone is big and not young then they visit the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is green.
("bear" "is" "green" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is big then they like the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone needs the bear and the bear is young then they like the bear.
((("someone" "needs" "bear" "+") ("bear" "is" "young" "+")) -> ("someone" "likes" "bear" "+"))
If someone visits the tiger and the tiger visits the bear then the bear needs the tiger.
((("someone" "visits" "tiger" "+") ("tiger" "visits" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If someone visits the squirrel then they do not need the bear.
((("someone" "visits" "squirrel" "+")) -> ("someone" "needs" "bear" "-"))
If someone likes the squirrel and the squirrel visits the tiger then the tiger does not need the squirrel.
((("someone" "likes" "squirrel" "+") ("squirrel" "visits" "tiger" "+")) -> ("tiger" "needs" "squirrel" "-"))
If someone is blue and they like the tiger then the tiger is red.
((("someone" "is" "blue" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If someone needs the bear and they are not big then the bear is red.
((("someone" "needs" "bear" "+") ("someone" "is" "big" "~")) -> ("bear" "is" "red" "+"))
If someone is big and not young then they visit the bear.
((("someone" "is" "big" "+") ("someone" "is" "young" "~")) -> ("someone" "visits" "bear" "+"))
The bear is not blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bear does not like the tiger.
False
1
inv-proof
[(triple4)]
("bear" "likes" "tiger" "-")
triple4
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear visits the tiger.
Unknown
random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "+")
@0: The bear is big.[(triple1)] The bear is green.[(triple3)] The bear is not blue.[(triple2)] The bear likes the tiger.[(triple4)] The bear needs the squirrel.[(triple5)] The bear needs the tiger.[(triple6)] The squirrel likes the bear.[(triple7)] The tiger is blue.[(triple8)] The tiger is not red.[(triple9)] The tiger needs the squirrel.[(triple10)] @1: The bear likes the squirrel.[(((triple1) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple6
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger is not red.
("tiger" "is" "red" "-")
triple9
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple10
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1