The rabbit is green. Big people are cold. If someone is red and round then they are big.
The rabbit is green.
("rabbit" "is" "green" "+")
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
The rabbit is green.
True
1
proof
[(triple1)]
("rabbit" "is" "green" "+")
triple1
The rabbit is not green.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "green" "-")
triple1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "big" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The rabbit is green.[(triple1)]
The rabbit is green.
("rabbit" "is" "green" "+")
triple1