The cow is not red. The cow sees the lion. The lion does not eat the cow. If someone likes the cow and they are not nice then the cow does not eat the lion.
The cow is not red.
("cow" "is" "red" "-")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
If someone likes the cow and they are not nice then the cow does not eat the lion.
((("someone" "likes" "cow" "+") ("someone" "is" "nice" "~")) -> ("cow" "eats" "lion" "-"))
The cow sees the lion.
True
1
proof
[(triple2)]
("cow" "sees" "lion" "+")
triple2
The cow is red.
False
1
inv-proof
[(triple1)]
("cow" "is" "red" "+")
triple1
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The cow eats the lion.
Unknown
random
[@0: The cow eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "lion" "+")
@0: The cow is not red.[(triple1)] The cow sees the lion.[(triple2)] The lion does not eat the cow.[(triple3)]
The cow is not red.
("cow" "is" "red" "-")
triple1
The cow sees the lion.
("cow" "sees" "lion" "+")
triple2
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple3