The cat is not kind. The cat does not see the lion. The cat sees the squirrel. The cat visits the lion. The lion is green. The lion is not kind. The lion is not nice. The lion is young. The lion needs the squirrel. The lion sees the squirrel. The squirrel needs the lion. The squirrel sees the lion. Nice things are young.
The cat is not kind.
("cat" "is" "kind" "-")
The cat does not see the lion.
("cat" "sees" "lion" "-")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is young.
("lion" "is" "young" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
The cat is not kind.
True
1
proof
[(triple1)]
("cat" "is" "kind" "-")
triple1
The squirrel does not need the lion.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "lion" "-")
triple11
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel visits the cat.
Unknown
random
[@0: The squirrel visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cat" "+")
@0: The cat does not see the lion.[(triple2)] The cat is not kind.[(triple1)] The cat sees the squirrel.[(triple3)] The cat visits the lion.[(triple4)] The lion is green.[(triple5)] The lion is not kind.[(triple6)] The lion is not nice.[(triple7)] The lion is young.[(triple8)] The lion needs the squirrel.[(triple9)] The lion sees the squirrel.[(triple10)] The squirrel needs the lion.[(triple11)] The squirrel sees the lion.[(triple12)]
The cat does not see the lion.
("cat" "sees" "lion" "-")
triple2
The cat is not kind.
("cat" "is" "kind" "-")
triple1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple3
The cat visits the lion.
("cat" "visits" "lion" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion is not kind.
("lion" "is" "kind" "-")
triple6
The lion is not nice.
("lion" "is" "nice" "-")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple9
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple10
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple11
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple12