The lion chases the rabbit. The lion is kind. The rabbit eats the lion. The rabbit is blue. The rabbit is kind. The rabbit is not red. The rabbit does not like the lion. If the rabbit is red and the rabbit chases the lion then the rabbit likes the lion. If something likes the lion then the lion is not red.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
If the rabbit is red and the rabbit chases the lion then the rabbit likes the lion.
((("rabbit" "is" "red" "+") ("rabbit" "chases" "lion" "+")) -> ("rabbit" "likes" "lion" "+"))
If something likes the lion then the lion is not red.
((("something" "likes" "lion" "+")) -> ("lion" "is" "red" "-"))
The rabbit is kind.
True
1
proof
[(triple5)]
("rabbit" "is" "kind" "+")
triple5
The rabbit is not kind.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "kind" "-")
triple5
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion chases the rabbit.[(triple1)] The lion is kind.[(triple2)] The rabbit does not like the lion.[(triple7)] The rabbit eats the lion.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is not red.[(triple6)]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
triple7
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is not red.
("rabbit" "is" "red" "-")
triple6