The bear chases the mouse. The bear eats the lion. The bear eats the squirrel. The bear needs the mouse. The lion eats the bear. The lion does not eat the squirrel. The lion is not big. The lion is rough. The lion does not need the mouse. The mouse is blue. The mouse is red. The mouse needs the lion. The squirrel chases the mouse. The squirrel is blue. The squirrel is red. If someone chases the bear then they need the bear. If the lion is rough then the lion chases the bear. If someone is blue and they chase the squirrel then they eat the mouse. If someone chases the mouse and they chase the lion then they do not eat the bear. If someone needs the bear then the bear is blue. If the bear does not need the lion then the bear does not eat the lion.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
The lion is not big.
("lion" "is" "big" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not need the mouse.
("lion" "needs" "mouse" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If someone chases the bear then they need the bear.
((("someone" "chases" "bear" "+")) -> ("someone" "needs" "bear" "+"))
If the lion is rough then the lion chases the bear.
((("lion" "is" "rough" "+")) -> ("lion" "chases" "bear" "+"))
If someone is blue and they chase the squirrel then they eat the mouse.
((("someone" "is" "blue" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "mouse" "+"))
If someone chases the mouse and they chase the lion then they do not eat the bear.
((("someone" "chases" "mouse" "+") ("someone" "chases" "lion" "+")) -> ("someone" "eats" "bear" "-"))
If someone needs the bear then the bear is blue.
((("someone" "needs" "bear" "+")) -> ("bear" "is" "blue" "+"))
If the bear does not need the lion then the bear does not eat the lion.
((("bear" "needs" "lion" "~")) -> ("bear" "eats" "lion" "-"))
The mouse needs the lion.
True
1
proof
[(triple12)]
("mouse" "needs" "lion" "+")
triple12
The mouse is not blue.
False
1
inv-proof
[(triple10)]
("mouse" "is" "blue" "-")
triple10
The lion chases the bear.
True
2
proof
[(((triple8) -> rule2))]
("lion" "chases" "bear" "+")
((triple8) -> (rule2 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion does not chase the bear.
False
2
inv-proof
[(((triple8) -> rule2))]
("lion" "chases" "bear" "-")
((triple8) -> (rule2 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion needs the bear.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("lion" "needs" "bear" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion does not need the bear.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("lion" "needs" "bear" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The bear is blue.
True
4
proof
[(((((((triple8) -> rule2)) -> rule1)) -> rule5))]
("bear" "is" "blue" "+")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
The bear is not blue.
False
4
inv-proof
[(((((((triple8) -> rule2)) -> rule1)) -> rule5))]
("bear" "is" "blue" "-")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
The squirrel does not need the bear.
Unknown
inv-rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "bear" "-")
The lion eats the mouse.
Unknown
rconc
[@1: The lion eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "mouse" "+")
The squirrel does not eat the mouse.
Unknown
inv-rconc
[@1: The squirrel eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "mouse" "-")
The bear eats the mouse.
Unknown
rconc
[@1: The bear eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "mouse" "+")
The lion does not chase the mouse.
Unknown
inv-random
[@0: The lion chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "mouse" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear eats the lion.[(triple2)] The bear eats the squirrel.[(triple3)] The bear needs the mouse.[(triple4)] The lion does not eat the squirrel.[(triple6)] The lion does not need the mouse.[(triple9)] The lion eats the bear.[(triple5)] The lion is not big.[(triple7)] The lion is rough.[(triple8)] The mouse is blue.[(triple10)] The mouse is red.[(triple11)] The mouse needs the lion.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is red.[(triple15)] @1: The lion chases the bear.[(((triple8) -> rule2))] @2: The lion needs the bear.[(((((triple8) -> rule2)) -> rule1))] @3: The bear is blue.[(((((((triple8) -> rule2)) -> rule1)) -> rule5))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
triple6
The lion does not need the mouse.
("lion" "needs" "mouse" "-")
triple9
The lion eats the bear.
("lion" "eats" "bear" "+")
triple5
The lion is not big.
("lion" "is" "big" "-")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple12
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple13
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple14
The squirrel is red.
("squirrel" "is" "red" "+")
triple15
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple8) -> (rule2 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3