The rabbit is not big. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is round. If something is round and not cold then it is big.
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If something is round and not cold then it is big.
((("something" "is" "round" "+") ("something" "is" "cold" "~")) -> ("something" "is" "big" "+"))
The rabbit is blue.
True
1
proof
[(triple2)]
("rabbit" "is" "blue" "+")
triple2
The rabbit is not blue.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "blue" "-")
triple2
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.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is not big.[(triple1)] The rabbit is round.[(triple5)]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit is not big.
("rabbit" "is" "big" "-")
triple1
The rabbit is round.
("rabbit" "is" "round" "+")
triple5