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