The bear is rough. The cow visits the squirrel. The squirrel likes the cow. If someone visits the squirrel and they eat the bear then the squirrel likes the cow. If someone visits the squirrel then they are not kind. If the squirrel likes the cow and the squirrel does not eat the cow then the squirrel is blue.
The bear is rough.
("bear" "is" "rough" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone visits the squirrel and they eat the bear then the squirrel likes the cow.
((("someone" "visits" "squirrel" "+") ("someone" "eats" "bear" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone visits the squirrel then they are not kind.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "kind" "-"))
If the squirrel likes the cow and the squirrel does not eat the cow then the squirrel is blue.
((("squirrel" "likes" "cow" "+") ("squirrel" "eats" "cow" "~")) -> ("squirrel" "is" "blue" "+"))
The squirrel likes the cow.
True
1
proof
[(triple3)]
("squirrel" "likes" "cow" "+")
triple3
The squirrel does not like the cow.
False
1
inv-proof
[(triple3)]
("squirrel" "likes" "cow" "-")
triple3
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "blue" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is rough.[(triple1)] The cow visits the squirrel.[(triple2)] The squirrel likes the cow.[(triple3)] @1: The cow is not kind.[(((triple2) -> rule2))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple3
The cow is not kind.
("cow" "is" "kind" "-")
((triple2) -> (rule2 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1