The bald eagle likes the dog. The bald eagle needs the bear. The bald eagle needs the dog. The bald eagle needs the tiger. The bear is cold. The bear is young. The bear needs the bald eagle. The dog eats the bald eagle. The dog likes the tiger. The tiger eats the bald eagle. The tiger is cold. The tiger is kind. If something eats the dog then it likes the bear. If something likes the tiger then the tiger eats the bear. If something likes the bald eagle then the bald eagle needs the bear.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something eats the dog then it likes the bear.
((("something" "eats" "dog" "+")) -> ("something" "likes" "bear" "+"))
If something likes the tiger then the tiger eats the bear.
((("something" "likes" "tiger" "+")) -> ("tiger" "eats" "bear" "+"))
If something likes the bald eagle then the bald eagle needs the bear.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple8)]
("dog" "eats" "bald eagle" "+")
triple8
The bear is not young.
False
1
inv-proof
[(triple6)]
("bear" "is" "young" "-")
triple6
The tiger eats the bear.
True
2
proof
[(((triple9) -> rule2))]
("tiger" "eats" "bear" "+")
((triple9) -> (rule2 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger does not eat the bear.
False
2
inv-proof
[(((triple9) -> rule2))]
("tiger" "eats" "bear" "-")
((triple9) -> (rule2 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "-")
The bald eagle likes the bear.
Unknown
rconc
[@1: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bear" "+")
The bear does not need the dog.
Unknown
inv-random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bear is cold.[(triple5)] The bear is young.[(triple6)] The bear needs the bald eagle.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog likes the tiger.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] @1: The tiger eats the bear.[(((triple9) -> rule2))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple8
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((triple9) -> (rule2 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1