The bear eats the squirrel. The bear is not red. The bear likes the squirrel. The lion eats the mouse. The lion likes the mouse. The lion sees the mouse. The mouse eats the lion. The mouse does not like the bear. The squirrel eats the bear. The squirrel likes the mouse. If the squirrel does not eat the bear then the bear does not like the lion. If something eats the bear then the bear does not like the lion. If something is green and it likes the squirrel then it is red. If something likes the lion and it eats the squirrel then it is not red. If something eats the mouse then it is red. If something is kind and not blue then it likes the mouse.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If the squirrel does not eat the bear then the bear does not like the lion.
((("squirrel" "eats" "bear" "~")) -> ("bear" "likes" "lion" "-"))
If something eats the bear then the bear does not like the lion.
((("something" "eats" "bear" "+")) -> ("bear" "likes" "lion" "-"))
If something is green and it likes the squirrel then it is red.
((("something" "is" "green" "+") ("something" "likes" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something likes the lion and it eats the squirrel then it is not red.
((("something" "likes" "lion" "+") ("something" "eats" "squirrel" "+")) -> ("something" "is" "red" "-"))
If something eats the mouse then it is red.
((("something" "eats" "mouse" "+")) -> ("something" "is" "red" "+"))
If something is kind and not blue then it likes the mouse.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "likes" "mouse" "+"))
The lion sees the mouse.
True
1
proof
[(triple6)]
("lion" "sees" "mouse" "+")
triple6
The bear does not like the squirrel.
False
1
inv-proof
[(triple3)]
("bear" "likes" "squirrel" "-")
triple3
The lion is red.
True
2
proof
[(((triple4) -> rule5))]
("lion" "is" "red" "+")
((triple4) -> (rule5 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple4) -> rule5))]
("lion" "is" "red" "-")
((triple4) -> (rule5 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bear likes the mouse.
Unknown
rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "mouse" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion eats the squirrel.
Unknown
random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is not red.[(triple2)] The bear likes the squirrel.[(triple3)] The lion eats the mouse.[(triple4)] The lion likes the mouse.[(triple5)] The lion sees the mouse.[(triple6)] The mouse does not like the bear.[(triple8)] The mouse eats the lion.[(triple7)] The squirrel eats the bear.[(triple9)] The squirrel likes the mouse.[(triple10)] @1: The bear does not like the lion.[(((triple9) -> rule2))] The lion is red.[(((triple4) -> rule5))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is not red.
("bear" "is" "red" "-")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple5
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple6
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
triple8
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple10
The bear does not like the lion.
("bear" "likes" "lion" "-")
((triple9) -> (rule2 % int1))
The bear does not like the lion.
("bear" "likes" "lion" "-")
int1
The lion is red.
("lion" "is" "red" "+")
((triple4) -> (rule5 % int1))
The lion is red.
("lion" "is" "red" "+")
int1