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