The bald eagle sees the bear. The bear sees the dog. The dog likes the bald eagle. The lion likes the bald eagle. If something eats the dog and the dog sees the bear then the dog is cold. If something is red and it sees the dog then it is round. If the dog likes the bald eagle then the dog sees the bear. If something sees the bald eagle and the bald eagle sees the dog then it is red. Young things are red. If the dog does not eat the lion then the dog is not red. If the dog likes the lion then the lion is red. If something is blue then it does not eat the bear.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If something eats the dog and the dog sees the bear then the dog is cold.
((("something" "eats" "dog" "+") ("dog" "sees" "bear" "+")) -> ("dog" "is" "cold" "+"))
If something is red and it sees the dog then it is round.
((("something" "is" "red" "+") ("something" "sees" "dog" "+")) -> ("something" "is" "round" "+"))
If the dog likes the bald eagle then the dog sees the bear.
((("dog" "likes" "bald eagle" "+")) -> ("dog" "sees" "bear" "+"))
If something sees the bald eagle and the bald eagle sees the dog then it is red.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "dog" "+")) -> ("something" "is" "red" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If the dog does not eat the lion then the dog is not red.
((("dog" "eats" "lion" "~")) -> ("dog" "is" "red" "-"))
If the dog likes the lion then the lion is red.
((("dog" "likes" "lion" "+")) -> ("lion" "is" "red" "+"))
If something is blue then it does not eat the bear.
((("something" "is" "blue" "+")) -> ("something" "eats" "bear" "-"))
The lion likes the bald eagle.
True
1
proof
[(triple4)]
("lion" "likes" "bald eagle" "+")
triple4
The bear does not see the dog.
False
1
inv-proof
[(triple2)]
("bear" "sees" "dog" "-")
triple2
The dog sees the bear.
True
2
proof
[(((triple3) -> rule3))]
("dog" "sees" "bear" "+")
((triple3) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog does not see the bear.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "sees" "bear" "-")
((triple3) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "red" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bear does not eat the bald eagle.
Unknown
inv-random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear sees the dog.[(triple2)] The dog likes the bald eagle.[(triple3)] The lion likes the bald eagle.[(triple4)] @1: The dog sees the bear.[(((triple3) -> rule3))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple4
The dog sees the bear.
("dog" "sees" "bear" "+")
((triple3) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1