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