The bear likes the lion. The lion eats the bear. The lion does not like the bear. If something chases the lion then it does not eat the lion. If something chases the lion and it does not like the lion then it is not blue. If something likes the bear and the bear does not chase the lion then it is not big.
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
If something chases the lion then it does not eat the lion.
((("something" "chases" "lion" "+")) -> ("something" "eats" "lion" "-"))
If something chases the lion and it does not like the lion then it is not blue.
((("something" "chases" "lion" "+") ("something" "likes" "lion" "~")) -> ("something" "is" "blue" "-"))
If something likes the bear and the bear does not chase the lion then it is not big.
((("something" "likes" "bear" "+") ("bear" "chases" "lion" "~")) -> ("something" "is" "big" "-"))
The lion does not like the bear.
True
1
proof
[(triple3)]
("lion" "likes" "bear" "-")
triple3
The lion does not eat the bear.
False
1
inv-proof
[(triple2)]
("lion" "eats" "bear" "-")
triple2
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The bear likes the lion.[(triple1)] The lion does not like the bear.[(triple3)] The lion eats the bear.[(triple2)]
The bear likes the lion.
("bear" "likes" "lion" "+")
triple1
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple3
The lion eats the bear.
("lion" "eats" "bear" "+")
triple2