The bald eagle needs the mouse. The bald eagle visits the mouse. The cow chases the squirrel. The cow is nice. The mouse chases the bald eagle. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel needs the mouse. The squirrel visits the bald eagle. The squirrel visits the cow. If something is big then it needs the mouse. If something needs the squirrel and the squirrel visits the cow then the cow chases the bald eagle. If something visits the mouse then it needs the cow.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is nice.
("cow" "is" "nice" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something is big then it needs the mouse.
((("something" "is" "big" "+")) -> ("something" "needs" "mouse" "+"))
If something needs the squirrel and the squirrel visits the cow then the cow chases the bald eagle.
((("something" "needs" "squirrel" "+") ("squirrel" "visits" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If something visits the mouse then it needs the cow.
((("something" "visits" "mouse" "+")) -> ("something" "needs" "cow" "+"))
The cow chases the squirrel.
True
1
proof
[(triple3)]
("cow" "chases" "squirrel" "+")
triple3
The squirrel does not visit the cow.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "cow" "-")
triple10
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cow chases the squirrel.[(triple3)] The cow is nice.[(triple4)] The mouse chases the bald eagle.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel needs the mouse.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The bald eagle needs the cow.[(((triple2) -> rule3))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple7
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple8
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple2) -> (rule3 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1