The cow does not eat the lion. The cow is kind. The cow is nice. The cow needs the lion. The cow does not see the lion. The lion eats the cow. The lion is cold. The lion is kind. The lion is red. The lion is not rough. The lion needs the cow. The lion sees the cow. If something eats the lion then the lion sees the cow. If something needs the cow and the cow sees the lion then it is not red.
The cow does not eat the lion.
("cow" "eats" "lion" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow does not see the lion.
("cow" "sees" "lion" "-")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If something eats the lion then the lion sees the cow.
((("something" "eats" "lion" "+")) -> ("lion" "sees" "cow" "+"))
If something needs the cow and the cow sees the lion then it is not red.
((("something" "needs" "cow" "+") ("cow" "sees" "lion" "+")) -> ("something" "is" "red" "-"))
The lion is not rough.
True
1
proof
[(triple10)]
("lion" "is" "rough" "-")
triple10
The cow eats the lion.
False
1
inv-proof
[(triple1)]
("cow" "eats" "lion" "+")
triple1
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow does not eat the lion.[(triple1)] The cow does not see the lion.[(triple5)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow needs the lion.[(triple4)] The lion eats the cow.[(triple6)] The lion is cold.[(triple7)] The lion is kind.[(triple8)] The lion is not rough.[(triple10)] The lion is red.[(triple9)] The lion needs the cow.[(triple11)] The lion sees the cow.[(triple12)]
The cow does not eat the lion.
("cow" "eats" "lion" "-")
triple1
The cow does not see the lion.
("cow" "sees" "lion" "-")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow needs the lion.
("cow" "needs" "lion" "+")
triple4
The lion eats the cow.
("lion" "eats" "cow" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion is not rough.
("lion" "is" "rough" "-")
triple10
The lion is red.
("lion" "is" "red" "+")
triple9
The lion needs the cow.
("lion" "needs" "cow" "+")
triple11
The lion sees the cow.
("lion" "sees" "cow" "+")
triple12