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