The bald eagle likes the lion. The cat eats the bald eagle. The dog chases the lion. The lion chases the bald eagle. If someone chases the bald eagle then the bald eagle likes the dog. If someone chases the bald eagle and the bald eagle eats the dog then the bald eagle eats the lion. If someone likes the dog then the dog is blue.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
If someone chases the bald eagle then the bald eagle likes the dog.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone chases the bald eagle and the bald eagle eats the dog then the bald eagle eats the lion.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "eats" "dog" "+")) -> ("bald eagle" "eats" "lion" "+"))
If someone likes the dog then the dog is blue.
((("someone" "likes" "dog" "+")) -> ("dog" "is" "blue" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple2)]
("cat" "eats" "bald eagle" "+")
triple2
The lion does not chase the bald eagle.
False
1
inv-proof
[(triple4)]
("lion" "chases" "bald eagle" "-")
triple4
The bald eagle likes the dog.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "likes" "dog" "+")
((triple4) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle does not like the dog.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "likes" "dog" "-")
((triple4) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is blue.
True
3
proof
[(((((triple4) -> rule1)) -> rule3))]
("dog" "is" "blue" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog is not blue.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule3))]
("dog" "is" "blue" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not eat the dog.
Unknown
inv-random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bald eagle likes the lion.[(triple1)] The cat eats the bald eagle.[(triple2)] The dog chases the lion.[(triple3)] The lion chases the bald eagle.[(triple4)] @1: The bald eagle likes the dog.[(((triple4) -> rule1))] @2: The dog is blue.[(((((triple4) -> rule1)) -> rule3))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The dog chases the lion.
("dog" "chases" "lion" "+")
triple3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple4) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2