The bald eagle chases the mouse. The bald eagle is rough. The bald eagle needs the cow. The bald eagle sees the squirrel. The cow chases the bald eagle. The cow is not round. The mouse chases the bald eagle. The mouse does not need the bald eagle. The mouse does not need the cow. The squirrel needs the mouse. If someone is kind then they are red. If someone needs the mouse then the mouse sees the cow. If the squirrel is big and the squirrel does not need the mouse then the squirrel chases the bald eagle. If someone chases the squirrel and the squirrel needs the cow then the cow sees the bald eagle. If someone sees the bald eagle and they do not need the mouse then the bald eagle chases the squirrel. If someone is red and not big then they do not chase the mouse. If the mouse sees the squirrel and the bald eagle does not need the mouse then the squirrel is rough. If someone needs the cow then the cow does not see the squirrel.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is not round.
("cow" "is" "round" "-")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone is kind then they are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone needs the mouse then the mouse sees the cow.
((("someone" "needs" "mouse" "+")) -> ("mouse" "sees" "cow" "+"))
If the squirrel is big and the squirrel does not need the mouse then the squirrel chases the bald eagle.
((("squirrel" "is" "big" "+") ("squirrel" "needs" "mouse" "~")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone chases the squirrel and the squirrel needs the cow then the cow sees the bald eagle.
((("someone" "chases" "squirrel" "+") ("squirrel" "needs" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone sees the bald eagle and they do not need the mouse then the bald eagle chases the squirrel.
((("someone" "sees" "bald eagle" "+") ("someone" "needs" "mouse" "~")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone is red and not big then they do not chase the mouse.
((("someone" "is" "red" "+") ("someone" "is" "big" "~")) -> ("someone" "chases" "mouse" "-"))
If the mouse sees the squirrel and the bald eagle does not need the mouse then the squirrel is rough.
((("mouse" "sees" "squirrel" "+") ("bald eagle" "needs" "mouse" "~")) -> ("squirrel" "is" "rough" "+"))
If someone needs the cow then the cow does not see the squirrel.
((("someone" "needs" "cow" "+")) -> ("cow" "sees" "squirrel" "-"))
The mouse chases the bald eagle.
True
1
proof
[(triple7)]
("mouse" "chases" "bald eagle" "+")
triple7
The bald eagle does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "mouse" "-")
triple1
The cow does not see the squirrel.
True
2
proof
[(((triple3) -> rule8))]
("cow" "sees" "squirrel" "-")
((triple3) -> (rule8 % int1))
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int1
The mouse does not see the cow.
False
2
inv-proof
[(((triple10) -> rule2))]
("mouse" "sees" "cow" "-")
((triple10) -> (rule2 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "rough" "-")
The cow sees the bald eagle.
Unknown
rconc
[@1: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "sees" "bald eagle" "+")
The cow does not chase the mouse.
Unknown
inv-random
[@0: The cow chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "mouse" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow is not round.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse does not need the bald eagle.[(triple8)] The mouse does not need the cow.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The cow does not see the squirrel.[(((triple3) -> rule8))] The mouse sees the cow.[(((triple10) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow is not round.
("cow" "is" "round" "-")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple8
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
triple9
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
((triple3) -> (rule8 % int1))
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
((triple10) -> (rule2 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1