The cat visits the cow. The cow chases the lion. The lion chases the squirrel. The squirrel chases the cow. The squirrel is kind. The squirrel sees the cat. The squirrel sees the lion. If someone chases the squirrel and the squirrel visits the cow then the cow is red. If someone is blue and not kind then they visit the squirrel. If the lion visits the cat then the lion is blue.
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone chases the squirrel and the squirrel visits the cow then the cow is red.
((("someone" "chases" "squirrel" "+") ("squirrel" "visits" "cow" "+")) -> ("cow" "is" "red" "+"))
If someone is blue and not kind then they visit the squirrel.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "visits" "squirrel" "+"))
If the lion visits the cat then the lion is blue.
((("lion" "visits" "cat" "+")) -> ("lion" "is" "blue" "+"))
The squirrel is kind.
True
1
proof
[(triple5)]
("squirrel" "is" "kind" "+")
triple5
The squirrel is not kind.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "kind" "-")
triple5
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "red" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cat visits the cow.[(triple1)] The cow chases the lion.[(triple2)] The lion chases the squirrel.[(triple3)] The squirrel chases the cow.[(triple4)] The squirrel is kind.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel sees the lion.[(triple7)]
The cat visits the cow.
("cat" "visits" "cow" "+")
triple1
The cow chases the lion.
("cow" "chases" "lion" "+")
triple2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple5
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple6
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple7