The bald eagle visits the cow. The bald eagle does not visit the squirrel. The cow chases the bald eagle. The dog does not visit the cow. The squirrel eats the bald eagle. The squirrel is kind. The squirrel visits the dog. If something eats the bald eagle then it does not chase the cow. If something chases the bald eagle and the bald eagle visits the cow then it is not kind. If something visits the squirrel and the squirrel visits the dog then it is not kind. If something eats the bald eagle and the bald eagle is not round then the bald eagle visits the squirrel. If something is rough and it does not chase the bald eagle then the bald eagle eats the dog. If the squirrel is not kind and the squirrel is not round then the squirrel does not eat the dog.
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The dog does not visit the cow.
("dog" "visits" "cow" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something eats the bald eagle then it does not chase the cow.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "cow" "-"))
If something chases the bald eagle and the bald eagle visits the cow then it is not kind.
((("something" "chases" "bald eagle" "+") ("bald eagle" "visits" "cow" "+")) -> ("something" "is" "kind" "-"))
If something visits the squirrel and the squirrel visits the dog then it is not kind.
((("something" "visits" "squirrel" "+") ("squirrel" "visits" "dog" "+")) -> ("something" "is" "kind" "-"))
If something eats the bald eagle and the bald eagle is not round then the bald eagle visits the squirrel.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "visits" "squirrel" "+"))
If something is rough and it does not chase the bald eagle then the bald eagle eats the dog.
((("something" "is" "rough" "+") ("something" "chases" "bald eagle" "~")) -> ("bald eagle" "eats" "dog" "+"))
If the squirrel is not kind and the squirrel is not round then the squirrel does not eat the dog.
((("squirrel" "is" "kind" "~") ("squirrel" "is" "round" "~")) -> ("squirrel" "eats" "dog" "-"))
The bald eagle does not visit the squirrel.
True
1
proof
[(triple2)]
("bald eagle" "visits" "squirrel" "-")
triple2
The squirrel is not kind.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "kind" "-")
triple6
The cow is not kind.
True
3
proof
[(((triple3 triple1) -> rule2))]
("cow" "is" "kind" "-")
((triple3 triple1) -> (rule2 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The squirrel chases the cow.
False
2
inv-proof
[(((triple5) -> rule1))]
("squirrel" "chases" "cow" "+")
((triple5) -> (rule1 % int1))
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
int1
The bald eagle does not eat the dog.
Unknown
inv-rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "dog" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
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 cow eats the squirrel.
Unknown
random
[@0: The cow eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "squirrel" "+")
@0: The bald eagle does not visit the squirrel.[(triple2)] The bald eagle visits the cow.[(triple1)] The cow chases the bald eagle.[(triple3)] The dog does not visit the cow.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel is kind.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The cow is not kind.[(((triple3 triple1) -> rule2))] The squirrel does not chase the cow.[(((triple5) -> rule1))]
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The dog does not visit the cow.
("dog" "visits" "cow" "-")
triple4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple7
The cow is not kind.
("cow" "is" "kind" "-")
((triple3 triple1) -> (rule2 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
((triple5) -> (rule1 % int1))
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
int1