The bald eagle is not young. The bald eagle needs the mouse. The mouse does not chase the squirrel. The mouse needs the squirrel. The squirrel chases the bald eagle. The squirrel does not chase the mouse. The squirrel is round. If the bald eagle does not chase the mouse then the mouse needs the squirrel. If something visits the mouse then the mouse does not need the bald eagle. If something needs the mouse then it visits the squirrel. If the squirrel chases the bald eagle then the squirrel needs the bald eagle. If something chases the bald eagle then the bald eagle is not round. If something visits the mouse then the mouse chases the squirrel. If something needs the bald eagle then the bald eagle chases the squirrel. If something chases the squirrel then it needs the squirrel.
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
If the bald eagle does not chase the mouse then the mouse needs the squirrel.
((("bald eagle" "chases" "mouse" "~")) -> ("mouse" "needs" "squirrel" "+"))
If something visits the mouse then the mouse does not need the bald eagle.
((("something" "visits" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "-"))
If something needs the mouse then it visits the squirrel.
((("something" "needs" "mouse" "+")) -> ("something" "visits" "squirrel" "+"))
If the squirrel chases the bald eagle then the squirrel needs the bald eagle.
((("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If something chases the bald eagle then the bald eagle is not round.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "round" "-"))
If something visits the mouse then the mouse chases the squirrel.
((("something" "visits" "mouse" "+")) -> ("mouse" "chases" "squirrel" "+"))
If something needs the bald eagle then the bald eagle chases the squirrel.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If something chases the squirrel then it needs the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "needs" "squirrel" "+"))
The mouse does not chase the squirrel.
True
1
proof
[(triple3)]
("mouse" "chases" "squirrel" "-")
triple3
The mouse does not need the squirrel.
False
1
inv-proof
[(triple4)]
("mouse" "needs" "squirrel" "-")
triple4
The bald eagle is not round.
True
2
proof
[(((triple5) -> rule5))]
("bald eagle" "is" "round" "-")
((triple5) -> (rule5 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The squirrel does not need the bald eagle.
False
2
inv-proof
[(((triple5) -> rule4))]
("squirrel" "needs" "bald eagle" "-")
((triple5) -> (rule4 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bald eagle chases the squirrel.
True
3
proof
[(((((triple5) -> rule4)) -> rule7))]
("bald eagle" "chases" "squirrel" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle does not chase the squirrel.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule7))]
("bald eagle" "chases" "squirrel" "-")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The mouse visits the squirrel.
Unknown
rconc
[@1: The mouse visits the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "squirrel" "+")
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The mouse needs the bald eagle.
Unknown
random
[@0: The mouse needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bald eagle" "+")
The bald eagle does not visit the mouse.
Unknown
inv-random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bald eagle is not young.[(triple1)] The bald eagle needs the mouse.[(triple2)] The mouse does not chase the squirrel.[(triple3)] The mouse needs the squirrel.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel does not chase the mouse.[(triple6)] The squirrel is round.[(triple7)] @1: The bald eagle is not round.[(((triple5) -> rule5))] The bald eagle visits the squirrel.[(((triple2) -> rule3))] The squirrel needs the bald eagle.[(((triple5) -> rule4))] @2: The bald eagle chases the squirrel.[(((((triple5) -> rule4)) -> rule7))] @3: The bald eagle needs the squirrel.[(((((((triple5) -> rule4)) -> rule7)) -> rule8))]
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
triple3
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple5
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The bald eagle is not round.
("bald eagle" "is" "round" "-")
((triple5) -> (rule5 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple2) -> (rule3 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3