The rabbit is blue. If someone is rough then they are not young. All red, blue people are young. Kind, rough people are not blue. All rough, blue people are not kind. If someone is red then they are kind. All young people are not red. All red people are not rough. If the rabbit is young and the rabbit is rough then the rabbit is red.
The rabbit is blue.
("rabbit" "is" "blue" "+")
If someone is rough then they are not young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "-"))
All red, blue people are young.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Kind, rough people are not blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "-"))
All rough, blue people are not kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "-"))
If someone is red then they are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All young people are not red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "-"))
All red people are not rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
If the rabbit is young and the rabbit is rough then the rabbit is red.
((("rabbit" "is" "young" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "red" "+"))
The rabbit is blue.
True
1
proof
[(triple1)]
("rabbit" "is" "blue" "+")
triple1
The rabbit is not blue.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "blue" "-")
triple1
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "is" "red" "-")
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 blue.[(triple1)]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1