The bear eats the mouse. The bear needs the cow. The cow does not chase the bear. The cow eats the bear. The cow eats the mouse. The cow needs the mouse. The mouse does not eat the cow. If something eats the bear then it does not eat the cow. If the bear is young then the bear needs the cow.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
If something eats the bear then it does not eat the cow.
((("something" "eats" "bear" "+")) -> ("something" "eats" "cow" "-"))
If the bear is young then the bear needs the cow.
((("bear" "is" "young" "+")) -> ("bear" "needs" "cow" "+"))
The cow eats the bear.
True
1
proof
[(triple4)]
("cow" "eats" "bear" "+")
triple4
The cow does not eat the mouse.
False
1
inv-proof
[(triple5)]
("cow" "eats" "mouse" "-")
triple5
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear eats the mouse.[(triple1)] The bear needs the cow.[(triple2)] The cow does not chase the bear.[(triple3)] The cow eats the bear.[(triple4)] The cow eats the mouse.[(triple5)] The cow needs the mouse.[(triple6)] The mouse does not eat the cow.[(triple7)] @1: The cow does not eat the cow.[(((triple4) -> rule1))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple3
The cow eats the bear.
("cow" "eats" "bear" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple6
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
triple7
The cow does not eat the cow.
("cow" "eats" "cow" "-")
((triple4) -> (rule1 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1