The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle sees the cow. The bald eagle sees the squirrel. The cat needs the squirrel. The cat sees the squirrel. The cat visits the bald eagle. The cow is big. The cow needs the bald eagle. The cow needs the squirrel. The cow sees the bald eagle. The cow visits the cat. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone is young and they see the squirrel then they visit the squirrel. If someone sees the bald eagle then they visit the cow. If the cat visits the cow and the cow needs the squirrel then the cat is cold. If someone sees the cat then the cat needs the squirrel. If the cat is big then the cat needs the bald eagle. If the bald eagle visits the squirrel then the squirrel sees the bald eagle.
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone is young and they see the squirrel then they visit the squirrel.
((("someone" "is" "young" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone sees the bald eagle then they visit the cow.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "visits" "cow" "+"))
If the cat visits the cow and the cow needs the squirrel then the cat is cold.
((("cat" "visits" "cow" "+") ("cow" "needs" "squirrel" "+")) -> ("cat" "is" "cold" "+"))
If someone sees the cat then the cat needs the squirrel.
((("someone" "sees" "cat" "+")) -> ("cat" "needs" "squirrel" "+"))
If the cat is big then the cat needs the bald eagle.
((("cat" "is" "big" "+")) -> ("cat" "needs" "bald eagle" "+"))
If the bald eagle visits the squirrel then the squirrel sees the bald eagle.
((("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
The bald eagle needs the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "needs" "squirrel" "+")
triple3
The cow does not need the squirrel.
False
1
inv-proof
[(triple11)]
("cow" "needs" "squirrel" "-")
triple11
The cow visits the cow.
True
2
proof
[(((triple12) -> rule2))]
("cow" "visits" "cow" "+")
((triple12) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The squirrel does not visit the cow.
False
2
inv-proof
[(((triple14) -> rule2))]
("squirrel" "visits" "cow" "-")
((triple14) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The cat visits the cow.
Unknown
rconc
[@1: The cat visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "cow" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The squirrel needs the cat.
Unknown
random
[@0: The squirrel needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cat" "+")
@0: The bald eagle needs the cat.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The cat needs the squirrel.[(triple6)] The cat sees the squirrel.[(triple7)] The cat visits the bald eagle.[(triple8)] The cow is big.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow needs the squirrel.[(triple11)] The cow sees the bald eagle.[(triple12)] The cow visits the cat.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The cow visits the cow.[(((triple12) -> rule2))] The squirrel visits the cow.[(((triple14) -> rule2))]
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple7
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple8
The cow is big.
("cow" "is" "big" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple11
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple12
The cow visits the cat.
("cow" "visits" "cat" "+")
triple13
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple12) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple14) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1