The bear is blue. The bear is cold. The bear is red. The bear is young. The bear needs the squirrel. The bear sees the squirrel. The bear visits the squirrel. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is young. The squirrel needs the bear. The squirrel sees the bear. The squirrel visits the bear. If someone sees the squirrel and they visit the squirrel then they need the bear. If someone sees the bear and they are green then the bear needs the squirrel. If someone needs the bear and the bear sees the squirrel then they see the squirrel.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone sees the squirrel and they visit the squirrel then they need the bear.
((("someone" "sees" "squirrel" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "needs" "bear" "+"))
If someone sees the bear and they are green then the bear needs the squirrel.
((("someone" "sees" "bear" "+") ("someone" "is" "green" "+")) -> ("bear" "needs" "squirrel" "+"))
If someone needs the bear and the bear sees the squirrel then they see the squirrel.
((("someone" "needs" "bear" "+") ("bear" "sees" "squirrel" "+")) -> ("someone" "sees" "squirrel" "+"))
The squirrel is green.
True
1
proof
[(triple10)]
("squirrel" "is" "green" "+")
triple10
The bear does not visit the squirrel.
False
1
inv-proof
[(triple7)]
("bear" "visits" "squirrel" "-")
triple7
The bear needs the bear.
True
3
proof
[(((triple6 triple7) -> rule1))]
("bear" "needs" "bear" "+")
((triple6 triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The squirrel does not see the squirrel.
False
3
inv-proof
[(((triple13 triple6) -> rule3))]
("squirrel" "sees" "squirrel" "-")
((triple13 triple6) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear needs the squirrel.[(triple5 OR ((triple14 triple10) -> rule2))] The bear sees the squirrel.[(triple6)] The bear visits the squirrel.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11)] The squirrel is young.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The bear needs the bear.[(((triple6 triple7) -> rule1))] The squirrel sees the squirrel.[(((triple13 triple6) -> rule3))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
((triple14 triple10) -> (rule2 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple6
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple13
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple6 triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple13 triple6) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1