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