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