The bald eagle is blue. The bear sees the bald eagle. The tiger sees the bald eagle. If the bald eagle is blue then the bald eagle is nice. If someone sees the tiger and they see the bear then the bear likes the bald eagle. If the tiger likes the bear and the tiger eats the bald eagle then the bald eagle eats the bear. If someone is round then they eat the bear. All kind people are round. If someone eats the bald eagle then they like the bear. If someone sees the bald eagle and the bald eagle is round then the bald eagle sees the tiger. If someone eats the bear and they eat the bald eagle then they see the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If the bald eagle is blue then the bald eagle is nice.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone sees the tiger and they see the bear then the bear likes the bald eagle.
((("someone" "sees" "tiger" "+") ("someone" "sees" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If the tiger likes the bear and the tiger eats the bald eagle then the bald eagle eats the bear.
((("tiger" "likes" "bear" "+") ("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone is round then they eat the bear.
((("someone" "is" "round" "+")) -> ("someone" "eats" "bear" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone eats the bald eagle then they like the bear.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If someone sees the bald eagle and the bald eagle is round then the bald eagle sees the tiger.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If someone eats the bear and they eat the bald eagle then they see the bald eagle.
((("someone" "eats" "bear" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bear does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "sees" "bald eagle" "-")
triple2
The bear does not eat the bear.
Unknown
inv-rconc
[@2: The bear eats the bear.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bear sees the bald eagle.[(triple2)] The tiger sees the bald eagle.[(triple3)] @1: The bald eagle is nice.[(((triple1) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1