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