The bear is not cold. The bear is nice. The bear needs the cow. The bear sees the cow. The bear sees the squirrel. The cow is big. The cow does not see the bear. The lion needs the cow. The lion sees the bear. The lion sees the squirrel. The squirrel chases the bear. The squirrel chases the lion. The squirrel does not need the bear. The squirrel needs the cow. The squirrel sees the bear. If something chases the lion then it needs the lion. If something chases the lion then it sees the bear.
The bear is not cold.
("bear" "is" "cold" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something chases the lion then it needs the lion.
((("something" "chases" "lion" "+")) -> ("something" "needs" "lion" "+"))
If something chases the lion then it sees the bear.
((("something" "chases" "lion" "+")) -> ("something" "sees" "bear" "+"))
The squirrel sees the bear.
True
1
proof
[(triple15 OR ((triple12) -> rule2))]
("squirrel" "sees" "bear" "+")
triple15
((triple12) -> (rule2 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The bear does not need the cow.
False
1
inv-proof
[(triple3)]
("bear" "needs" "cow" "-")
triple3
The squirrel needs the lion.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "needs" "lion" "+")
((triple12) -> (rule1 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel does not need the lion.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "needs" "lion" "-")
((triple12) -> (rule1 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "-")
The cow needs the lion.
Unknown
rconc
[@1: The cow needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "lion" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bear is nice.[(triple2)] The bear is not cold.[(triple1)] The bear needs the cow.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the squirrel.[(triple5)] The cow does not see the bear.[(triple7)] The cow is big.[(triple6)] The lion needs the cow.[(triple8)] The lion sees the bear.[(triple9)] The lion sees the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel does not need the bear.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel sees the bear.[(triple15 OR ((triple12) -> rule2))] @1: The squirrel needs the lion.[(((triple12) -> rule1))]
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is not cold.
("bear" "is" "cold" "-")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple7
The cow is big.
("cow" "is" "big" "+")
triple6
The lion needs the cow.
("lion" "needs" "cow" "+")
triple8
The lion sees the bear.
("lion" "sees" "bear" "+")
triple9
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple10
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple15
((triple12) -> (rule2 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
((triple12) -> (rule1 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1