The rabbit is blue. The rabbit is cold. The rabbit is nice. If the rabbit is kind and the rabbit is rough then the rabbit is nice.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If the rabbit is kind and the rabbit is rough then the rabbit is nice.
((("rabbit" "is" "kind" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "nice" "+"))
The rabbit is nice.
True
1
proof
[(triple3)]
("rabbit" "is" "nice" "+")
triple3
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
triple3
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3