The bald eagle eats the dog. The bald eagle eats the lion. The bald eagle likes the dog. The bald eagle likes the tiger. The dog is young. The lion chases the tiger. The lion is green. The lion likes the tiger. The tiger eats the dog. The tiger eats the lion. If someone is young then they chase the tiger. If someone eats the lion then the lion eats the bald eagle. If someone eats the bald eagle and they chase the tiger then the tiger is cold. If someone likes the tiger and the tiger chases the bald eagle then they like the bald eagle. If someone likes the bald eagle and the bald eagle eats the tiger then they chase the lion. If someone eats the lion and the lion eats the bald eagle then they are cold.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The dog is young.
("dog" "is" "young" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
If someone is young then they chase the tiger.
((("someone" "is" "young" "+")) -> ("someone" "chases" "tiger" "+"))
If someone eats the lion then the lion eats the bald eagle.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they chase the tiger then the tiger is cold.
((("someone" "eats" "bald eagle" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If someone likes the tiger and the tiger chases the bald eagle then they like the bald eagle.
((("someone" "likes" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle eats the tiger then they chase the lion.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "eats" "tiger" "+")) -> ("someone" "chases" "lion" "+"))
If someone eats the lion and the lion eats the bald eagle then they are cold.
((("someone" "eats" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
The lion is green.
True
1
proof
[(triple7)]
("lion" "is" "green" "+")
triple7
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "lion" "-")
triple2
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The tiger likes the dog.
Unknown
random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the tiger.[(triple4)] The dog is young.[(triple5)] The lion chases the tiger.[(triple6)] The lion is green.[(triple7)] The lion likes the tiger.[(triple8)] The tiger eats the dog.[(triple9)] The tiger eats the lion.[(triple10)] @1: The dog chases the tiger.[(((triple5) -> rule1))] The lion eats the bald eagle.[(((triple10) -> rule2) OR ((triple2) -> rule2))] @2: The bald eagle is cold.[(((triple2 ((triple10) -> rule2)) -> rule6) OR ((triple2 ((triple2) -> rule2)) -> rule6))] The tiger is cold.[(((triple10 ((triple10) -> rule2)) -> rule6) OR ((triple10 ((triple2) -> rule2)) -> rule6) OR ((((triple10) -> rule2) triple6) -> rule3) OR ((((triple2) -> rule2) triple6) -> rule3))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple8
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple9
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The dog chases the tiger.
("dog" "chases" "tiger" "+")
((triple5) -> (rule1 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
((triple2) -> (rule2 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple2 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((triple10 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((((triple10) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
((((triple2) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2