The cow is not cold. The cow sees the squirrel. The dog is green. The dog needs the squirrel. The squirrel eats the dog. The squirrel is green. The squirrel is not young. If something needs the cow and the cow eats the squirrel then the cow does not see the dog. If something needs the cow then it does not see the squirrel. If something sees the squirrel then it needs the squirrel.
The cow is not cold.
("cow" "is" "cold" "-")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
If something needs the cow and the cow eats the squirrel then the cow does not see the dog.
((("something" "needs" "cow" "+") ("cow" "eats" "squirrel" "+")) -> ("cow" "sees" "dog" "-"))
If something needs the cow then it does not see the squirrel.
((("something" "needs" "cow" "+")) -> ("something" "sees" "squirrel" "-"))
If something sees the squirrel then it needs the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "needs" "squirrel" "+"))
The cow sees the squirrel.
True
1
proof
[(triple2)]
("cow" "sees" "squirrel" "+")
triple2
The squirrel is not green.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "green" "-")
triple6
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel needs the cow.
Unknown
random
[@0: The squirrel needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cow" "+")
@0: The cow is not cold.[(triple1)] The cow sees the squirrel.[(triple2)] The dog is green.[(triple3)] The dog needs the squirrel.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel is green.[(triple6)] The squirrel is not young.[(triple7)] @1: The cow needs the squirrel.[(((triple2) -> rule3))]
The cow is not cold.
("cow" "is" "cold" "-")
triple1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel is not young.
("squirrel" "is" "young" "-")
triple7
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((triple2) -> (rule3 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1