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