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