The cow likes the lion. The cow needs the rabbit. The cow visits the lion. The lion is kind. The lion does not like the cow. The lion likes the rabbit. The lion visits the cow. The rabbit is round. The rabbit is young. The rabbit likes the lion. The rabbit needs the cow. The rabbit visits the lion. If something likes the rabbit and it needs the lion then it is not young. If something needs the cow and it does not need the rabbit then it is not blue.
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion does not like the cow.
("lion" "likes" "cow" "-")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something likes the rabbit and it needs the lion then it is not young.
((("something" "likes" "rabbit" "+") ("something" "needs" "lion" "+")) -> ("something" "is" "young" "-"))
If something needs the cow and it does not need the rabbit then it is not blue.
((("something" "needs" "cow" "+") ("something" "needs" "rabbit" "~")) -> ("something" "is" "blue" "-"))
The cow needs the rabbit.
True
1
proof
[(triple2)]
("cow" "needs" "rabbit" "+")
triple2
The lion likes the cow.
False
1
inv-proof
[(triple5)]
("lion" "likes" "cow" "+")
triple5
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow likes the lion.[(triple1)] The cow needs the rabbit.[(triple2)] The cow visits the lion.[(triple3)] The lion does not like the cow.[(triple5)] The lion is kind.[(triple4)] The lion likes the rabbit.[(triple6)] The lion visits the cow.[(triple7)] The rabbit is round.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the lion.[(triple10)] The rabbit needs the cow.[(triple11)] The rabbit visits the lion.[(triple12)]
The cow likes the lion.
("cow" "likes" "lion" "+")
triple1
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple2
The cow visits the lion.
("cow" "visits" "lion" "+")
triple3
The lion does not like the cow.
("lion" "likes" "cow" "-")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple6
The lion visits the cow.
("lion" "visits" "cow" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple10
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12