The bear likes the squirrel. The squirrel is green. The squirrel is nice. If someone is kind then they chase the squirrel. If the squirrel sees the bear and the squirrel chases the bear then the squirrel is green. If someone is blue then they chase the squirrel. If someone chases the bear then they are blue. If the bear likes the squirrel then the bear is nice. If someone sees the bear and they chase the squirrel then the squirrel chases the bear.
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone is kind then they chase the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "squirrel" "+"))
If the squirrel sees the bear and the squirrel chases the bear then the squirrel is green.
((("squirrel" "sees" "bear" "+") ("squirrel" "chases" "bear" "+")) -> ("squirrel" "is" "green" "+"))
If someone is blue then they chase the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the bear then they are blue.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "blue" "+"))
If the bear likes the squirrel then the bear is nice.
((("bear" "likes" "squirrel" "+")) -> ("bear" "is" "nice" "+"))
If someone sees the bear and they chase the squirrel then the squirrel chases the bear.
((("someone" "sees" "bear" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
The squirrel is nice.
True
1
proof
[(triple3)]
("squirrel" "is" "nice" "+")
triple3
The bear does not like the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "likes" "squirrel" "-")
triple1
The squirrel is not blue.
Unknown
inv-rconc
[@2: The squirrel is blue.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("squirrel" "is" "blue" "-")
The bear sees the squirrel.
Unknown
random
[@0: The bear sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "squirrel" "+")
@0: The bear likes the squirrel.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3)] @1: The bear is nice.[(((triple1) -> rule5))]
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1