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