The bald eagle chases the squirrel. The bald eagle is cold. The bald eagle does not visit the cow. The cow chases the bald eagle. The cow chases the squirrel. The cow visits the bald eagle. The mouse chases the bald eagle. The mouse is not kind. The squirrel chases the mouse. The squirrel is blue. The squirrel sees the cow. The squirrel sees the mouse. If something is red and it sees the bald eagle then the bald eagle is kind. If something sees the cow then it visits the mouse. If something sees the bald eagle then the bald eagle does not see the squirrel. If the bald eagle does not chase the cow and the cow is not blue then the bald eagle sees the squirrel. If something is kind and it sees the mouse then the mouse visits the cow. If something visits the mouse then the mouse is young. If the bald eagle is young then the bald eagle visits the mouse. If something sees the bald eagle then it does not chase the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something is red and it sees the bald eagle then the bald eagle is kind.
((("something" "is" "red" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something sees the cow then it visits the mouse.
((("something" "sees" "cow" "+")) -> ("something" "visits" "mouse" "+"))
If something sees the bald eagle then the bald eagle does not see the squirrel.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "-"))
If the bald eagle does not chase the cow and the cow is not blue then the bald eagle sees the squirrel.
((("bald eagle" "chases" "cow" "~") ("cow" "is" "blue" "~")) -> ("bald eagle" "sees" "squirrel" "+"))
If something is kind and it sees the mouse then the mouse visits the cow.
((("something" "is" "kind" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "visits" "cow" "+"))
If something visits the mouse then the mouse is young.
((("something" "visits" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If the bald eagle is young then the bald eagle visits the mouse.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something sees the bald eagle then it does not chase the bald eagle.
((("something" "sees" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "-"))
The cow chases the bald eagle.
True
1
proof
[(triple4)]
("cow" "chases" "bald eagle" "+")
triple4
The cow does not visit the bald eagle.
False
1
inv-proof
[(triple6)]
("cow" "visits" "bald eagle" "-")
triple6
The squirrel visits the mouse.
True
2
proof
[(((triple11) -> rule2))]
("squirrel" "visits" "mouse" "+")
((triple11) -> (rule2 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The squirrel does not visit the mouse.
False
2
inv-proof
[(((triple11) -> rule2))]
("squirrel" "visits" "mouse" "-")
((triple11) -> (rule2 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The mouse visits the cow.
Unknown
rconc
[@1: The mouse visits the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "cow" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not visit the cow.[(triple3)] The bald eagle is cold.[(triple2)] The cow chases the bald eagle.[(triple4)] The cow chases the squirrel.[(triple5)] The cow visits the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is not kind.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is blue.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The squirrel visits the mouse.[(((triple11) -> rule2))] @2: The mouse is young.[(((((triple11) -> rule2)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple5
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is not kind.
("mouse" "is" "kind" "-")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple11
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple12
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
((triple11) -> (rule2 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int2