The bear does not eat the mouse. The bear does not eat the squirrel. The bear is not rough. The bear is young. The bear likes the mouse. The bear does not visit the squirrel. The mouse is red. The mouse likes the bear. The mouse does not like the squirrel. The squirrel eats the bear. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel likes the bear. The squirrel visits the mouse. If something visits the squirrel then it likes the mouse. All kind things are rough. If the squirrel is not red then the squirrel does not eat the mouse.
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is young.
("bear" "is" "young" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something visits the squirrel then it likes the mouse.
((("something" "visits" "squirrel" "+")) -> ("something" "likes" "mouse" "+"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If the squirrel is not red then the squirrel does not eat the mouse.
((("squirrel" "is" "red" "~")) -> ("squirrel" "eats" "mouse" "-"))
The squirrel is red.
True
1
proof
[(triple12)]
("squirrel" "is" "red" "+")
triple12
The squirrel is not kind.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "kind" "-")
triple11
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bear likes the squirrel.
Unknown
random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "+")
@0: The bear does not eat the mouse.[(triple1)] The bear does not eat the squirrel.[(triple2)] The bear does not visit the squirrel.[(triple6)] The bear is not rough.[(triple3)] The bear is young.[(triple4)] The bear likes the mouse.[(triple5)] The mouse does not like the squirrel.[(triple9)] The mouse is red.[(triple7)] The mouse likes the bear.[(triple8)] The squirrel eats the bear.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13 OR ((triple11) -> rule2))] The squirrel likes the bear.[(triple14)] The squirrel visits the mouse.[(triple15)]
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
triple1
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple2
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
triple6
The bear is not rough.
("bear" "is" "rough" "-")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple8
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
((triple11) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15