The bear eats the cow. The bear eats the squirrel. The bear is not green. The cow chases the lion. The cow does not eat the lion. The cow is young. The lion does not chase the bear. The squirrel chases the cow. The squirrel is young. The squirrel does not need the bear. If something eats the cow then it does not need the bear. If something eats the cow then it chases the lion. If the lion chases the bear and the lion does not eat the squirrel then the lion is green. If something eats the squirrel then it is round. If the cow chases the lion and the cow is green then the lion is not rough. If something is round then it chases the bear. If something is young and it chases the lion then it is rough. If the squirrel is round and the squirrel does not need the bear then the bear chases the lion.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not green.
("bear" "is" "green" "-")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow does not eat the lion.
("cow" "eats" "lion" "-")
The cow is young.
("cow" "is" "young" "+")
The lion does not chase the bear.
("lion" "chases" "bear" "-")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
If something eats the cow then it does not need the bear.
((("something" "eats" "cow" "+")) -> ("something" "needs" "bear" "-"))
If something eats the cow then it chases the lion.
((("something" "eats" "cow" "+")) -> ("something" "chases" "lion" "+"))
If the lion chases the bear and the lion does not eat the squirrel then the lion is green.
((("lion" "chases" "bear" "+") ("lion" "eats" "squirrel" "~")) -> ("lion" "is" "green" "+"))
If something eats the squirrel then it is round.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "round" "+"))
If the cow chases the lion and the cow is green then the lion is not rough.
((("cow" "chases" "lion" "+") ("cow" "is" "green" "+")) -> ("lion" "is" "rough" "-"))
If something is round then it chases the bear.
((("something" "is" "round" "+")) -> ("something" "chases" "bear" "+"))
If something is young and it chases the lion then it is rough.
((("something" "is" "young" "+") ("something" "chases" "lion" "+")) -> ("something" "is" "rough" "+"))
If the squirrel is round and the squirrel does not need the bear then the bear chases the lion.
((("squirrel" "is" "round" "+") ("squirrel" "needs" "bear" "~")) -> ("bear" "chases" "lion" "+"))
The squirrel does not need the bear.
True
1
proof
[(triple10)]
("squirrel" "needs" "bear" "-")
triple10
The bear does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "eats" "squirrel" "-")
triple2
The bear does not need the bear.
True
2
proof
[(((triple1) -> rule1))]
("bear" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The bear does not need the bear.
("bear" "needs" "bear" "-")
int1
The bear needs the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The bear does not need the bear.
("bear" "needs" "bear" "-")
int1
The bear chases the bear.
True
3
proof
[(((((triple2) -> rule4)) -> rule6))]
("bear" "chases" "bear" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not chase the bear.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule6))]
("bear" "chases" "bear" "-")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "green" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "rough" "+")
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "round" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The squirrel does not eat the bear.
Unknown
inv-random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is not green.[(triple3)] The cow chases the lion.[(triple4)] The cow does not eat the lion.[(triple5)] The cow is young.[(triple6)] The lion does not chase the bear.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel does not need the bear.[(triple10)] The squirrel is young.[(triple9)] @1: The bear chases the lion.[(((triple1) -> rule2))] The bear does not need the bear.[(((triple1) -> rule1))] The bear is round.[(((triple2) -> rule4))] The cow is rough.[(((triple6 triple4) -> rule7))] @2: The bear chases the bear.[(((((triple2) -> rule4)) -> rule6))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is not green.
("bear" "is" "green" "-")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow does not eat the lion.
("cow" "eats" "lion" "-")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The lion does not chase the bear.
("lion" "chases" "bear" "-")
triple7
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple8
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple1) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear does not need the bear.
("bear" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The bear does not need the bear.
("bear" "needs" "bear" "-")
int1
The bear is round.
("bear" "is" "round" "+")
((triple2) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple6 triple4) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2