The bear is big. The bear is red. The bear needs the squirrel. The lion is cold. The lion needs the bear. The lion needs the squirrel. The lion sees the squirrel. The squirrel eats the bear. The squirrel is cold. The squirrel sees the bear. If something eats the lion and the lion needs the bear then it sees the bear. If the lion is big then the lion is cold. If something needs the lion then it eats the bear. If the squirrel eats the bear then the bear sees the squirrel. If something needs the squirrel and the squirrel eats the bear then the squirrel is blue. If something needs the bear and it is red then the bear is red. If the bear needs the squirrel and the squirrel eats the bear then the squirrel is blue. If something eats the lion and it sees the squirrel then the lion needs the squirrel.
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something eats the lion and the lion needs the bear then it sees the bear.
((("something" "eats" "lion" "+") ("lion" "needs" "bear" "+")) -> ("something" "sees" "bear" "+"))
If the lion is big then the lion is cold.
((("lion" "is" "big" "+")) -> ("lion" "is" "cold" "+"))
If something needs the lion then it eats the bear.
((("something" "needs" "lion" "+")) -> ("something" "eats" "bear" "+"))
If the squirrel eats the bear then the bear sees the squirrel.
((("squirrel" "eats" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
If something needs the squirrel and the squirrel eats the bear then the squirrel is blue.
((("something" "needs" "squirrel" "+") ("squirrel" "eats" "bear" "+")) -> ("squirrel" "is" "blue" "+"))
If something needs the bear and it is red then the bear is red.
((("something" "needs" "bear" "+") ("something" "is" "red" "+")) -> ("bear" "is" "red" "+"))
If the bear needs the squirrel and the squirrel eats the bear then the squirrel is blue.
((("bear" "needs" "squirrel" "+") ("squirrel" "eats" "bear" "+")) -> ("squirrel" "is" "blue" "+"))
If something eats the lion and it sees the squirrel then the lion needs the squirrel.
((("something" "eats" "lion" "+") ("something" "sees" "squirrel" "+")) -> ("lion" "needs" "squirrel" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The squirrel does not eat the bear.
False
1
inv-proof
[(triple8)]
("squirrel" "eats" "bear" "-")
triple8
The squirrel is blue.
True
3
proof
[(((triple3 triple8) -> rule5) OR ((triple3 triple8) -> rule7) OR ((triple6 triple8) -> rule5))]
("squirrel" "is" "blue" "+")
((triple3 triple8) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple3 triple8) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple6 triple8) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
3
inv-proof
[(((triple3 triple8) -> rule5) OR ((triple3 triple8) -> rule7) OR ((triple6 triple8) -> rule5))]
("squirrel" "is" "blue" "-")
((triple3 triple8) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple3 triple8) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple6 triple8) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "bear" "-")
The lion eats the bear.
Unknown
rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "bear" "+")
The squirrel does not eat the lion.
Unknown
inv-random
[@0: The squirrel eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "lion" "-")
The squirrel needs the bear.
Unknown
random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "+")
@0: The bear is big.[(triple1)] The bear is red.[(triple2)] The bear needs the squirrel.[(triple3)] The lion is cold.[(triple4)] The lion needs the bear.[(triple5)] The lion needs the squirrel.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is cold.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear sees the squirrel.[(((triple8) -> rule4))] The squirrel is blue.[(((triple3 triple8) -> rule5) OR ((triple3 triple8) -> rule7) OR ((triple6 triple8) -> rule5))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion needs the bear.
("lion" "needs" "bear" "+")
triple5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple6
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple8) -> (rule4 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple3 triple8) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple3 triple8) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple6 triple8) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1