The bald eagle does not need the squirrel. The cow chases the bald eagle. The mouse does not chase the squirrel. The squirrel does not need the cow. If something is big then it does not chase the cow. If something chases the bald eagle then the bald eagle needs the cow. If something likes the cow and it is not cold then it is not blue.
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
If something is big then it does not chase the cow.
((("something" "is" "big" "+")) -> ("something" "chases" "cow" "-"))
If something chases the bald eagle then the bald eagle needs the cow.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
If something likes the cow and it is not cold then it is not blue.
((("something" "likes" "cow" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "-"))
The squirrel does not need the cow.
True
1
proof
[(triple4)]
("squirrel" "needs" "cow" "-")
triple4
The mouse chases the squirrel.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "squirrel" "+")
triple3
The bald eagle needs the cow.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "needs" "cow" "+")
((triple2) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle does not need the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "needs" "cow" "-")
((triple2) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The mouse does not need the cow.
Unknown
inv-random
[@0: The mouse needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "cow" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The mouse needs the squirrel.
Unknown
random
[@0: The mouse needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "squirrel" "+")
@0: The bald eagle does not need the squirrel.[(triple1)] The cow chases the bald eagle.[(triple2)] The mouse does not chase the squirrel.[(triple3)] The squirrel does not need the cow.[(triple4)] @1: The bald eagle needs the cow.[(((triple2) -> rule2))]
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
triple3
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple2) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1