The cat is kind. The dog is cold. The rabbit does not visit the squirrel. The squirrel is cold. If someone visits the cat then the cat is green.
The cat is kind.
("cat" "is" "kind" "+")
The dog is cold.
("dog" "is" "cold" "+")
The rabbit does not visit the squirrel.
("rabbit" "visits" "squirrel" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone visits the cat then the cat is green.
((("someone" "visits" "cat" "+")) -> ("cat" "is" "green" "+"))
The cat is kind.
True
1
proof
[(triple1)]
("cat" "is" "kind" "+")
triple1
The dog is not cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "-")
The squirrel needs the rabbit.
Unknown
random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "+")
@0: The cat is kind.[(triple1)] The dog is cold.[(triple2)] The rabbit does not visit the squirrel.[(triple3)] The squirrel is cold.[(triple4)]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The rabbit does not visit the squirrel.
("rabbit" "visits" "squirrel" "-")
triple3
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple4