The bald eagle is young. The cow does not need the squirrel. The cow visits the dog. The dog chases the cow. The squirrel needs the cow. The squirrel needs the dog. The squirrel visits the cow. If someone visits the cow then they are young. Kind people are young. If someone chases the squirrel and they need the dog then the squirrel does not need the cow. If someone chases the dog and they need the squirrel then they need the dog. If someone visits the cow and they are kind then they need the dog. If someone chases the squirrel then they visit the bald eagle. If the bald eagle visits the dog then the dog chases the cow. If the bald eagle visits the squirrel then the bald eagle is not young.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone visits the cow then they are young.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "young" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone chases the squirrel and they need the dog then the squirrel does not need the cow.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "dog" "+")) -> ("squirrel" "needs" "cow" "-"))
If someone chases the dog and they need the squirrel then they need the dog.
((("someone" "chases" "dog" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "needs" "dog" "+"))
If someone visits the cow and they are kind then they need the dog.
((("someone" "visits" "cow" "+") ("someone" "is" "kind" "+")) -> ("someone" "needs" "dog" "+"))
If someone chases the squirrel then they visit the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the bald eagle visits the dog then the dog chases the cow.
((("bald eagle" "visits" "dog" "+")) -> ("dog" "chases" "cow" "+"))
If the bald eagle visits the squirrel then the bald eagle is not young.
((("bald eagle" "visits" "squirrel" "+")) -> ("bald eagle" "is" "young" "-"))
The cow does not need the squirrel.
True
1
proof
[(triple2)]
("cow" "needs" "squirrel" "-")
triple2
The squirrel does not need the dog.
False
1
inv-proof
[(triple6)]
("squirrel" "needs" "dog" "-")
triple6
The squirrel is young.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "is" "young" "+")
((triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple7) -> rule1))]
("squirrel" "is" "young" "-")
((triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle is young.[(triple1)] The cow does not need the squirrel.[(triple2)] The cow visits the dog.[(triple3)] The dog chases the cow.[(triple4)] The squirrel needs the cow.[(triple5)] The squirrel needs the dog.[(triple6)] The squirrel visits the cow.[(triple7)] @1: The squirrel is young.[(((triple7) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
triple2
The cow visits the dog.
("cow" "visits" "dog" "+")
triple3
The dog chases the cow.
("dog" "chases" "cow" "+")
triple4
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple5
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple6
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
((triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1