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