The rabbit is not cold. The rabbit is nice. The rabbit is red. All blue, rough things are nice.
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
All blue, rough things are nice.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
The rabbit is red.
True
1
proof
[(triple3)]
("rabbit" "is" "red" "+")
triple3
The rabbit is cold.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "cold" "+")
triple1
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
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 nice.[(triple2)] The rabbit is not cold.[(triple1)] The rabbit is red.[(triple3)]
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple2
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
triple3