The bald eagle likes the bear. The bear eats the cat. The cat eats the bald eagle. The cow is blue. If something likes the bear then it sees the bald eagle. If something is red then it eats the bald eagle.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
If something likes the bear then it sees the bald eagle.
((("something" "likes" "bear" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is red then it eats the bald eagle.
((("something" "is" "red" "+")) -> ("something" "eats" "bald eagle" "+"))
The bear eats the cat.
True
1
proof
[(triple2)]
("bear" "eats" "cat" "+")
triple2
The bald eagle does not like the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "bear" "-")
triple1
The bald eagle sees the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The cow does not see the bald eagle.
Unknown
inv-rconc
[@1: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "bald eagle" "-")
The bear eats the bald eagle.
Unknown
rconc
[@1: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "bald eagle" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The cat eats the bear.
Unknown
random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear eats the cat.[(triple2)] The cat eats the bald eagle.[(triple3)] The cow is blue.[(triple4)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule1))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1