The cat is cold. If the cat is not cold and the cat is not nice then the cat is red.
The cat is cold.
("cat" "is" "cold" "+")
If the cat is not cold and the cat is not nice then the cat is red.
((("cat" "is" "cold" "~") ("cat" "is" "nice" "~")) -> ("cat" "is" "red" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "red" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is cold.[(triple1)]
The cat is cold.
("cat" "is" "cold" "+")
triple1