The bear eats the squirrel. The bear is big. The bear is green. The bear is kind. The bear is rough. The bear needs the squirrel. The bear sees the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is kind. The squirrel is rough. The squirrel needs the bear. If someone is green and they eat the squirrel then they need the bear.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone is green and they eat the squirrel then they need the bear.
((("someone" "is" "green" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "needs" "bear" "+"))
The squirrel needs the bear.
True
1
proof
[(triple12)]
("squirrel" "needs" "bear" "+")
triple12
The bear does not see the squirrel.
False
1
inv-proof
[(triple7)]
("bear" "sees" "squirrel" "-")
triple7
The bear needs the bear.
True
3
proof
[(((triple3 triple1) -> rule1))]
("bear" "needs" "bear" "+")
((triple3 triple1) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("bear" "needs" "bear" "-")
((triple3 triple1) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear needs the squirrel.[(triple6)] The bear sees the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is big.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The bear needs the bear.[(((triple3 triple1) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple3 triple1) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1