The bald eagle chases the mouse. The bald eagle chases the squirrel. The bald eagle is rough. The bald eagle is young. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow chases the bald eagle. The cow is round. The cow visits the mouse. The mouse is cold. The mouse does not need the bald eagle. The mouse does not need the cow. The mouse visits the cow. The mouse visits the squirrel. The squirrel is rough. If something visits the cow then it is young. If something needs the cow and the cow needs the mouse then it does not chase the squirrel. If something is rough then it visits the cow. If something chases the cow then the cow does not visit the bald eagle. If something chases the cow then the cow needs the squirrel. If the bald eagle needs the cow and the cow needs the squirrel then the bald eagle chases the squirrel.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something visits the cow then it is young.
((("something" "visits" "cow" "+")) -> ("something" "is" "young" "+"))
If something needs the cow and the cow needs the mouse then it does not chase the squirrel.
((("something" "needs" "cow" "+") ("cow" "needs" "mouse" "+")) -> ("something" "chases" "squirrel" "-"))
If something is rough then it visits the cow.
((("something" "is" "rough" "+")) -> ("something" "visits" "cow" "+"))
If something chases the cow then the cow does not visit the bald eagle.
((("something" "chases" "cow" "+")) -> ("cow" "visits" "bald eagle" "-"))
If something chases the cow then the cow needs the squirrel.
((("something" "chases" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If the bald eagle needs the cow and the cow needs the squirrel then the bald eagle chases the squirrel.
((("bald eagle" "needs" "cow" "+") ("cow" "needs" "squirrel" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple6)]
("bald eagle" "visits" "squirrel" "+")
triple6
The mouse needs the bald eagle.
False
1
inv-proof
[(triple11)]
("mouse" "needs" "bald eagle" "+")
triple11
The squirrel visits the cow.
True
2
proof
[(((triple15) -> rule3))]
("squirrel" "visits" "cow" "+")
((triple15) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple13) -> rule1))]
("mouse" "is" "young" "-")
((triple13) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The squirrel is young.
True
3
proof
[(((((triple15) -> rule3)) -> rule1))]
("squirrel" "is" "young" "+")
((((triple15) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The squirrel is not young.
False
3
inv-proof
[(((((triple15) -> rule3)) -> rule1))]
("squirrel" "is" "young" "-")
((((triple15) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The cow is not young.
Unknown
inv-rconc
[@2: The cow is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("cow" "is" "young" "-")
The cow needs the squirrel.
Unknown
rconc
[@1: The cow needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "needs" "squirrel" "+")
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
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 chases the mouse.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4 OR ((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The bald eagle visits the cow.[(triple5 OR ((triple3) -> rule3))] The bald eagle visits the squirrel.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow is round.[(triple8)] The cow visits the mouse.[(triple9)] The mouse does not need the bald eagle.[(triple11)] The mouse does not need the cow.[(triple12)] The mouse is cold.[(triple10)] The mouse visits the cow.[(triple13)] The mouse visits the squirrel.[(triple14)] The squirrel is rough.[(triple15)] @1: The mouse is young.[(((triple13) -> rule1))] The squirrel visits the cow.[(((triple15) -> rule3))] @2: The squirrel is young.[(((((triple15) -> rule3)) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
((triple5) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
((triple3) -> (rule3 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple9
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple11
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple13
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple14
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple15
The mouse is young.
("mouse" "is" "young" "+")
((triple13) -> (rule1 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple15) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple15) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2