The bear is kind. The bear is red. The bear likes the squirrel. The bear needs the squirrel. The bear sees the squirrel. The squirrel is blue. The squirrel is red. The squirrel likes the bear. The squirrel needs the bear. The squirrel sees the bear. If the bear is kind and the bear needs the squirrel then the squirrel is green.
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If the bear is kind and the bear needs the squirrel then the squirrel is green.
((("bear" "is" "kind" "+") ("bear" "needs" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
The bear is kind.
True
1
proof
[(triple1)]
("bear" "is" "kind" "+")
triple1
The bear is not red.
False
1
inv-proof
[(triple2)]
("bear" "is" "red" "-")
triple2
The squirrel is green.
True
3
proof
[(((triple1 triple4) -> rule1))]
("squirrel" "is" "green" "+")
((triple1 triple4) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
3
inv-proof
[(((triple1 triple4) -> rule1))]
("squirrel" "is" "green" "-")
((triple1 triple4) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear is kind.[(triple1)] The bear is red.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the squirrel.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The squirrel is green.[(((triple1 triple4) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
((triple1 triple4) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1