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