The bald eagle needs the squirrel. The bald eagle visits the squirrel. The bear eats the bald eagle. The bear is big. The squirrel eats the bald eagle. The squirrel is young. The squirrel visits the bald eagle. If something visits the bear and it visits the bald eagle then it eats the bear. If something is young then it eats the bear. If something eats the bear then the bear does not visit the squirrel.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something visits the bear and it visits the bald eagle then it eats the bear.
((("something" "visits" "bear" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "eats" "bear" "+"))
If something is young then it eats the bear.
((("something" "is" "young" "+")) -> ("something" "eats" "bear" "+"))
If something eats the bear then the bear does not visit the squirrel.
((("something" "eats" "bear" "+")) -> ("bear" "visits" "squirrel" "-"))
The bald eagle needs the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "needs" "squirrel" "+")
triple1
The bald eagle does not visit the squirrel.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "squirrel" "-")
triple2
The squirrel eats the bear.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "eats" "bear" "+")
((triple6) -> (rule2 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel does not eat the bear.
False
2
inv-proof
[(((triple6) -> rule2))]
("squirrel" "eats" "bear" "-")
((triple6) -> (rule2 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear does not visit the squirrel.
True
3
proof
[(((((triple6) -> rule2)) -> rule3))]
("bear" "visits" "squirrel" "-")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear visits the squirrel.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule3))]
("bear" "visits" "squirrel" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle eats the bear.
Unknown
rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bear" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The squirrel visits the bear.
Unknown
random
[@0: The squirrel visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is big.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel is young.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The squirrel eats the bear.[(((triple6) -> rule2))] @2: The bear does not visit the squirrel.[(((((triple6) -> rule2)) -> rule3))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple6) -> (rule2 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2