The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle needs the dog. The bald eagle needs the tiger. The cow is cold. The dog is blue. The tiger likes the cow. If someone likes the tiger and they eat the dog then the dog likes the bald eagle. If the dog is young and the dog eats the bald eagle then the dog needs the cow. If the cow needs the dog then the cow needs the bald eagle. If someone eats the dog and they need the bald eagle then they like the dog. If the cow is cold then the cow needs the bald eagle. If someone needs the bald eagle and the bald eagle likes the dog then the bald eagle needs the cow.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow is cold.
("cow" "is" "cold" "+")
The dog is blue.
("dog" "is" "blue" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If someone likes the tiger and they eat the dog then the dog likes the bald eagle.
((("someone" "likes" "tiger" "+") ("someone" "eats" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If the dog is young and the dog eats the bald eagle then the dog needs the cow.
((("dog" "is" "young" "+") ("dog" "eats" "bald eagle" "+")) -> ("dog" "needs" "cow" "+"))
If the cow needs the dog then the cow needs the bald eagle.
((("cow" "needs" "dog" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone eats the dog and they need the bald eagle then they like the dog.
((("someone" "eats" "dog" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "dog" "+"))
If the cow is cold then the cow needs the bald eagle.
((("cow" "is" "cold" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone needs the bald eagle and the bald eagle likes the dog then the bald eagle needs the cow.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("bald eagle" "needs" "cow" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cow" "+")
triple1
The dog is not blue.
False
1
inv-proof
[(triple6)]
("dog" "is" "blue" "-")
triple6
The cow needs the bald eagle.
True
2
proof
[(((triple5) -> rule5))]
("cow" "needs" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow does not need the bald eagle.
False
2
inv-proof
[(((triple5) -> rule5))]
("cow" "needs" "bald eagle" "-")
((triple5) -> (rule5 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The dog likes the bald eagle.
Unknown
rconc
[@1: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "bald eagle" "+")
The tiger does not need the cow.
Unknown
inv-random
[@0: The tiger needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "cow" "-")
The cow eats the tiger.
Unknown
random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the tiger.[(triple4)] The cow is cold.[(triple5)] The dog is blue.[(triple6)] The tiger likes the cow.[(triple7)] @1: The cow needs the bald eagle.[(((triple5) -> rule5))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple6
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple7
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1