The cat needs the cow. The cat does not need the squirrel. The cat does not see the cow. The cow is kind. The rabbit is kind. The squirrel does not eat the rabbit. The squirrel does not see the cow. If something needs the squirrel then it is kind. If something eats the cow then it needs the rabbit.
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
The cat does not see the cow.
("cat" "sees" "cow" "-")
The cow is kind.
("cow" "is" "kind" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
If something needs the squirrel then it is kind.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If something eats the cow then it needs the rabbit.
((("something" "eats" "cow" "+")) -> ("something" "needs" "rabbit" "+"))
The cat does not need the squirrel.
True
1
proof
[(triple2)]
("cat" "needs" "squirrel" "-")
triple2
The cat needs the squirrel.
False
1
inv-proof
[(triple2)]
("cat" "needs" "squirrel" "+")
triple2
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The cat does not need the squirrel.[(triple2)] The cat does not see the cow.[(triple3)] The cat needs the cow.[(triple1)] The cow is kind.[(triple4)] The rabbit is kind.[(triple5)] The squirrel does not eat the rabbit.[(triple6)] The squirrel does not see the cow.[(triple7)]
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
triple2
The cat does not see the cow.
("cat" "sees" "cow" "-")
triple3
The cat needs the cow.
("cat" "needs" "cow" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
triple6
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
triple7