The cat is cold. The lion is not nice. If something chases the cat and the cat chases the lion then the lion is not young. If something needs the lion then the lion needs the cat.
The cat is cold.
("cat" "is" "cold" "+")
The lion is not nice.
("lion" "is" "nice" "-")
If something chases the cat and the cat chases the lion then the lion is not young.
((("something" "chases" "cat" "+") ("cat" "chases" "lion" "+")) -> ("lion" "is" "young" "-"))
If something needs the lion then the lion needs the cat.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "cat" "+"))
The lion is not nice.
True
1
proof
[(triple2)]
("lion" "is" "nice" "-")
triple2
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The lion does not need the cat.
Unknown
inv-rconc
[@1: The lion needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "cat" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cat is cold.[(triple1)] The lion is not nice.[(triple2)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The lion is not nice.
("lion" "is" "nice" "-")
triple2