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