The bear is kind. The bear is round. The bear likes the cow. The bear sees the cow. The bear sees the squirrel. The bear visits the squirrel. The cow is blue. The cow is kind. The cow is young. The cow likes the bear. The cow likes the squirrel. The squirrel is kind. If someone sees the squirrel and they like the cow then the squirrel is green.
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone sees the squirrel and they like the cow then the squirrel is green.
((("someone" "sees" "squirrel" "+") ("someone" "likes" "cow" "+")) -> ("squirrel" "is" "green" "+"))
The bear is kind.
True
1
proof
[(triple1)]
("bear" "is" "kind" "+")
triple1
The bear does not see the cow.
False
1
inv-proof
[(triple4)]
("bear" "sees" "cow" "-")
triple4
The squirrel is green.
True
3
proof
[(((triple5 triple3) -> rule1))]
("squirrel" "is" "green" "+")
((triple5 triple3) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("squirrel" "is" "green" "-")
((triple5 triple3) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
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 cow visits the squirrel.
Unknown
random
[@0: The cow visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "squirrel" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel likes the bear.
Unknown
random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "+")
@0: The bear is kind.[(triple1)] The bear is round.[(triple2)] The bear likes the cow.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the squirrel.[(triple5)] The bear visits the squirrel.[(triple6)] The cow is blue.[(triple7)] The cow is kind.[(triple8)] The cow is young.[(triple9)] The cow likes the bear.[(triple10)] The cow likes the squirrel.[(triple11)] The squirrel is kind.[(triple12)] @1: The squirrel is green.[(((triple5 triple3) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
((triple5 triple3) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1