The bald eagle chases the bear. The bald eagle is blue. The bald eagle visits the bear. The bear is not kind. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is rough. If something is rough then it chases the bald eagle. If something eats the bear and the bear visits the bald eagle then it chases the bald eagle. If the bear is kind then the bear does not eat the bald eagle. If something is cold and it visits the bald eagle then the bald eagle eats the squirrel. If something eats the bear and it is not kind then the bear chases the bald eagle. If something visits the squirrel then the squirrel eats the bear. If something visits the bald eagle and the bald eagle chases the bear then the bear chases the squirrel. If the bald eagle visits the bear and the bald eagle is not kind then the bear eats the squirrel.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something is rough then it chases the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "chases" "bald eagle" "+"))
If something eats the bear and the bear visits the bald eagle then it chases the bald eagle.
((("something" "eats" "bear" "+") ("bear" "visits" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If the bear is kind then the bear does not eat the bald eagle.
((("bear" "is" "kind" "+")) -> ("bear" "eats" "bald eagle" "-"))
If something is cold and it visits the bald eagle then the bald eagle eats the squirrel.
((("something" "is" "cold" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If something eats the bear and it is not kind then the bear chases the bald eagle.
((("something" "eats" "bear" "+") ("something" "is" "kind" "~")) -> ("bear" "chases" "bald eagle" "+"))
If something visits the squirrel then the squirrel eats the bear.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If something visits the bald eagle and the bald eagle chases the bear then the bear chases the squirrel.
((("something" "visits" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If the bald eagle visits the bear and the bald eagle is not kind then the bear eats the squirrel.
((("bald eagle" "visits" "bear" "+") ("bald eagle" "is" "kind" "~")) -> ("bear" "eats" "squirrel" "+"))
The bald eagle chases the bear.
True
1
proof
[(triple1)]
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "bear" "-")
triple3
The squirrel chases the bald eagle.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "chases" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel does not chase the bald eagle.
False
2
inv-proof
[(((triple7) -> rule1))]
("squirrel" "chases" "bald eagle" "-")
((triple7) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel does not eat the bear.
Unknown
inv-rconc
[@1: The squirrel eats the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "bear" "-")
The bear chases the squirrel.
Unknown
rconc
[@1: The bear chases the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "chases" "squirrel" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is not kind.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is rough.[(triple7)] @1: The squirrel chases the bald eagle.[(((triple7) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear is not kind.
("bear" "is" "kind" "-")
triple4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1