The bear is big. The cat visits the cow. The cow visits the cat. The lion is round. The lion is young. The lion likes the bear. The lion does not visit the cow. If something is young and it needs the cow then it is not round. If something is young and it needs the lion then the lion does not visit the bear.
The bear is big.
("bear" "is" "big" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion does not visit the cow.
("lion" "visits" "cow" "-")
If something is young and it needs the cow then it is not round.
((("something" "is" "young" "+") ("something" "needs" "cow" "+")) -> ("something" "is" "round" "-"))
If something is young and it needs the lion then the lion does not visit the bear.
((("something" "is" "young" "+") ("something" "needs" "lion" "+")) -> ("lion" "visits" "bear" "-"))
The lion likes the bear.
True
1
proof
[(triple6)]
("lion" "likes" "bear" "+")
triple6
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The cow needs the bear.
Unknown
random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "+")
@0: The bear is big.[(triple1)] The cat visits the cow.[(triple2)] The cow visits the cat.[(triple3)] The lion does not visit the cow.[(triple7)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion likes the bear.[(triple6)]
The bear is big.
("bear" "is" "big" "+")
triple1
The cat visits the cow.
("cat" "visits" "cow" "+")
triple2
The cow visits the cat.
("cow" "visits" "cat" "+")
triple3
The lion does not visit the cow.
("lion" "visits" "cow" "-")
triple7
The lion is round.
("lion" "is" "round" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion likes the bear.
("lion" "likes" "bear" "+")
triple6