The cat is kind. The cow is kind. The squirrel sees the cat. If something needs the cat then the cat likes the squirrel.
The cat is kind.
("cat" "is" "kind" "+")
The cow is kind.
("cow" "is" "kind" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something needs the cat then the cat likes the squirrel.
((("something" "needs" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
The squirrel sees the cat.
True
1
proof
[(triple3)]
("squirrel" "sees" "cat" "+")
triple3
The cat is not kind.
False
1
inv-proof
[(triple1)]
("cat" "is" "kind" "-")
triple1
The cat does not like the squirrel.
Unknown
inv-rconc
[@1: The cat likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "squirrel" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cat is kind.[(triple1)] The cow is kind.[(triple2)] The squirrel sees the cat.[(triple3)]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple3