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