The cow does not need the rabbit. The lion needs the cow. The rabbit does not see the cow. If something is round and it does not see the lion then it does not need the lion.
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The lion needs the cow.
("lion" "needs" "cow" "+")
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
If something is round and it does not see the lion then it does not need the lion.
((("something" "is" "round" "+") ("something" "sees" "lion" "~")) -> ("something" "needs" "lion" "-"))
The cow does not need the rabbit.
True
1
proof
[(triple1)]
("cow" "needs" "rabbit" "-")
triple1
The lion does not need the cow.
False
1
inv-proof
[(triple2)]
("lion" "needs" "cow" "-")
triple2
The rabbit does not like the cow.
Unknown
inv-random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "-")
The lion likes the cow.
Unknown
random
[@0: The lion likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cow" "+")
@0: The cow does not need the rabbit.[(triple1)] The lion needs the cow.[(triple2)] The rabbit does not see the cow.[(triple3)]
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple1
The lion needs the cow.
("lion" "needs" "cow" "+")
triple2
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
triple3