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