The bear eats the cow. The bear needs the lion. The bear visits the rabbit. The cow needs the lion. The lion is green. The rabbit eats the lion. The rabbit is not cold. The rabbit is green. The rabbit needs the lion. The rabbit does not visit the lion. If something needs the cow then the cow does not eat the rabbit. If something eats the cow then the cow visits the rabbit.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
If something needs the cow then the cow does not eat the rabbit.
((("something" "needs" "cow" "+")) -> ("cow" "eats" "rabbit" "-"))
If something eats the cow then the cow visits the rabbit.
((("something" "eats" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
The bear eats the cow.
True
1
proof
[(triple1)]
("bear" "eats" "cow" "+")
triple1
The rabbit does not eat the lion.
False
1
inv-proof
[(triple6)]
("rabbit" "eats" "lion" "-")
triple6
The bear does not need the rabbit.
Unknown
inv-random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bear eats the cow.[(triple1)] The bear needs the lion.[(triple2)] The bear visits the rabbit.[(triple3)] The cow needs the lion.[(triple4)] The lion is green.[(triple5)] The rabbit does not visit the lion.[(triple10)] The rabbit eats the lion.[(triple6)] The rabbit is green.[(triple8)] The rabbit is not cold.[(triple7)] The rabbit needs the lion.[(triple9)] @1: The cow visits the rabbit.[(((triple1) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear needs the lion.
("bear" "needs" "lion" "+")
triple2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple3
The cow needs the lion.
("cow" "needs" "lion" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
triple10
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple7
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple9
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((triple1) -> (rule2 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1