The cat needs the squirrel. The cat does not visit the cow. The cat visits the squirrel. The cow is cold. The cow is rough. The cow sees the squirrel. The cow visits the squirrel. The squirrel is rough. The squirrel needs the cow. The squirrel sees the cat. The squirrel sees the cow. The squirrel visits the cat. If the cat visits the cow and the cow does not need the squirrel then the squirrel does not see the cat. If someone sees the cat then they need the cat. If someone is green then they are not rough. If someone is cold and they see the cat then they do not see the cow. If the cat is kind then the cat needs the squirrel. If someone is green then they visit the squirrel. If someone is green then they see the cat. If someone needs the cat and the cat needs the cow then the cow needs the cat.
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat does not visit the cow.
("cat" "visits" "cow" "-")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If the cat visits the cow and the cow does not need the squirrel then the squirrel does not see the cat.
((("cat" "visits" "cow" "+") ("cow" "needs" "squirrel" "~")) -> ("squirrel" "sees" "cat" "-"))
If someone sees the cat then they need the cat.
((("someone" "sees" "cat" "+")) -> ("someone" "needs" "cat" "+"))
If someone is green then they are not rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "-"))
If someone is cold and they see the cat then they do not see the cow.
((("someone" "is" "cold" "+") ("someone" "sees" "cat" "+")) -> ("someone" "sees" "cow" "-"))
If the cat is kind then the cat needs the squirrel.
((("cat" "is" "kind" "+")) -> ("cat" "needs" "squirrel" "+"))
If someone is green then they visit the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is green then they see the cat.
((("someone" "is" "green" "+")) -> ("someone" "sees" "cat" "+"))
If someone needs the cat and the cat needs the cow then the cow needs the cat.
((("someone" "needs" "cat" "+") ("cat" "needs" "cow" "+")) -> ("cow" "needs" "cat" "+"))
The cow sees the squirrel.
True
1
proof
[(triple6)]
("cow" "sees" "squirrel" "+")
triple6
The cow does not visit the squirrel.
False
1
inv-proof
[(triple7)]
("cow" "visits" "squirrel" "-")
triple7
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cat does not visit the cow.[(triple2)] The cat needs the squirrel.[(triple1)] The cat visits the squirrel.[(triple3)] The cow is cold.[(triple4)] The cow is rough.[(triple5)] The cow sees the squirrel.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel sees the cat.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The squirrel needs the cat.[(((triple10) -> rule2))]
The cat does not visit the cow.
("cat" "visits" "cow" "-")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple9
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple10
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple11
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((triple10) -> (rule2 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1