The bear is blue. The bear is rough. The cow is nice. The cow visits the squirrel. The squirrel does not chase the bear. The squirrel chases the cow. The squirrel sees the bear. If something is nice and it does not visit the cow then the cow does not chase the bear. If something is nice then it is blue.
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something is nice and it does not visit the cow then the cow does not chase the bear.
((("something" "is" "nice" "+") ("something" "visits" "cow" "~")) -> ("cow" "chases" "bear" "-"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
The squirrel chases the cow.
True
1
proof
[(triple6)]
("squirrel" "chases" "cow" "+")
triple6
The bear is not rough.
False
1
inv-proof
[(triple2)]
("bear" "is" "rough" "-")
triple2
The cow is blue.
True
2
proof
[(((triple3) -> rule2))]
("cow" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "is" "blue" "-")
((triple3) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "blue" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
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 chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bear is blue.[(triple1)] The bear is rough.[(triple2)] The cow is nice.[(triple3)] The cow visits the squirrel.[(triple4)] The squirrel chases the cow.[(triple6)] The squirrel does not chase the bear.[(triple5)] The squirrel sees the bear.[(triple7)] @1: The cow is blue.[(((triple3) -> rule2))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple5
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1