The rabbit is not round. If the rabbit is nice then the rabbit is kind. If the rabbit is cold and the rabbit is round then the rabbit is not kind. If the rabbit is round and the rabbit is kind then the rabbit is nice. All cold, nice people are kind. If someone is nice and cold then they are kind. If the rabbit is round then the rabbit is cold. If someone is kind and not cold then they are blue. If someone is kind and not nice then they are blue.
The rabbit is not round.
("rabbit" "is" "round" "-")
If the rabbit is nice then the rabbit is kind.
((("rabbit" "is" "nice" "+")) -> ("rabbit" "is" "kind" "+"))
If the rabbit is cold and the rabbit is round then the rabbit is not kind.
((("rabbit" "is" "cold" "+") ("rabbit" "is" "round" "+")) -> ("rabbit" "is" "kind" "-"))
If the rabbit is round and the rabbit is kind then the rabbit is nice.
((("rabbit" "is" "round" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "is" "nice" "+"))
All cold, nice people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If the rabbit is round then the rabbit is cold.
((("rabbit" "is" "round" "+")) -> ("rabbit" "is" "cold" "+"))
If someone is kind and not cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "blue" "+"))
If someone is kind and not nice then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "blue" "+"))
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 blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "blue" "-")
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