The rabbit is cold. The rabbit is not red. The rabbit is not rough. The rabbit is round. The rabbit is young. Rough, cold things are not red. All red things are young.
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
Rough, cold things are not red.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "-"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
The rabbit is not red.
True
1
proof
[(triple2)]
("rabbit" "is" "red" "-")
triple2
The rabbit is red.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "red" "+")
triple2
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit is cold.[(triple1)] The rabbit is not red.[(triple2)] The rabbit is not rough.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple1
The rabbit is not red.
("rabbit" "is" "red" "-")
triple2
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5