The bear does not visit the cow. The cow needs the bear. The cow does not visit the rabbit. The rabbit visits the cow. The squirrel is blue. The squirrel is cold. The squirrel visits the bear. If someone is rough and they need the squirrel then the squirrel is not rough. If someone visits the squirrel then they do not chase the rabbit. If the rabbit chases the bear and the bear does not visit the cow then the rabbit is not red. If someone visits the bear then the bear does not chase the rabbit. If someone needs the squirrel and they do not chase the cow then the squirrel is not cold. If the squirrel is rough then the squirrel chases the rabbit. If someone needs the cow then they are not red. If the rabbit needs the squirrel then the squirrel needs the cow.
The bear does not visit the cow.
("bear" "visits" "cow" "-")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone is rough and they need the squirrel then the squirrel is not rough.
((("someone" "is" "rough" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "rough" "-"))
If someone visits the squirrel then they do not chase the rabbit.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "rabbit" "-"))
If the rabbit chases the bear and the bear does not visit the cow then the rabbit is not red.
((("rabbit" "chases" "bear" "+") ("bear" "visits" "cow" "~")) -> ("rabbit" "is" "red" "-"))
If someone visits the bear then the bear does not chase the rabbit.
((("someone" "visits" "bear" "+")) -> ("bear" "chases" "rabbit" "-"))
If someone needs the squirrel and they do not chase the cow then the squirrel is not cold.
((("someone" "needs" "squirrel" "+") ("someone" "chases" "cow" "~")) -> ("squirrel" "is" "cold" "-"))
If the squirrel is rough then the squirrel chases the rabbit.
((("squirrel" "is" "rough" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If someone needs the cow then they are not red.
((("someone" "needs" "cow" "+")) -> ("someone" "is" "red" "-"))
If the rabbit needs the squirrel then the squirrel needs the cow.
((("rabbit" "needs" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
The cow does not visit the rabbit.
True
1
proof
[(triple3)]
("cow" "visits" "rabbit" "-")
triple3
The rabbit does not visit the cow.
False
1
inv-proof
[(triple4)]
("rabbit" "visits" "cow" "-")
triple4
The squirrel does not chase the rabbit.
Unknown
inv-rconc
[@1: The squirrel chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "rabbit" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bear does not visit the cow.[(triple1)] The cow does not visit the rabbit.[(triple3)] The cow needs the bear.[(triple2)] The rabbit visits the cow.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is cold.[(triple6)] The squirrel visits the bear.[(triple7)] @1: The bear does not chase the rabbit.[(((triple7) -> rule4))]
The bear does not visit the cow.
("bear" "visits" "cow" "-")
triple1
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple3
The cow needs the bear.
("cow" "needs" "bear" "+")
triple2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple7
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
((triple7) -> (rule4 % int1))
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
int1