The rabbit is blue. The rabbit is green. The rabbit is not kind. The rabbit is rough. The rabbit is not round. All kind, blue things are green.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
All kind, blue things are green.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
The rabbit is blue.
True
1
proof
[(triple1)]
("rabbit" "is" "blue" "+")
triple1
The rabbit is round.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "round" "+")
triple5
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 visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is not kind.[(triple3)] The rabbit is not round.[(triple5)] The rabbit is rough.[(triple4)]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple3
The rabbit is not round.
("rabbit" "is" "round" "-")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4